Kirk Rader  1.0-SNAPSHOT
Related Pages
Here is a list of all related documentation pages:
[detail level 12]
 Links
 Logging and MonitoringUtilities to support logging for debugging and monitoring
 Status CodesStatus codes for monitoring and reporting
 Tracing With AspectJAspects to inject tracing into any application
 Status Codes Maven PluginMaven plugin that supports automated monitoring and reporting
 Integration TestsConsole application for demo / integration tests
 Symbolic Logic
 Sentential CalculusThe logic of declarative sentences
 ConnectivesLogical operations of the sentential and monadic predicate calculi
 ValidityA Priori Validity vs. A Posteriori Truth
 Inference RulesAxioms of symbolic logic expressed as formula transformations
 TautologiesVacuously-true statements
 ProofsProof procedures using inference rules
 Monadic Predicate CalculusGeneralizing symbolic logic beyond "atomic" sentences
 Appendix 1: Context-Free GrammarBackus-Naur Form "strict" syntax for the monadic predicate calculus
 README
 Scheme TutorialsBrief tutorials on a number of features of the Scheme programming language
 BasicsBackground info on Scheme
 Tail RecursionFunctional programming, CPS and tail recursion
 Lexical ClosuresLexical environments in Scheme
 ContinuationsFirst-class continuations
 dynamic-windProtected logic during stack unwinding and rewinding
 Engines from ContinuationsA practical application of continuations to implement sophisticated flows of control
 Software Development Life-CycleHow to create, operate and maintain complex software systems
 Formulas of the Monadic Predicate CalculusParsing and rendering expressions of a well-known formal language
 Parsing Symbolic Logic FormulasDemonstrate object-oriented programing using a simple class hierarchy in Java
 TTGenerate Markfown output for a formula of the monadic predicate calculus
 Unit Testing GuidelinesUnit testing guidelines
 Using DoxygenDocumenting Java code using Doxygen
 Bibliography