Links | |
▼Logging and Monitoring | Utilities to support logging for debugging and monitoring |
Status Codes | Status codes for monitoring and reporting |
Tracing With AspectJ | Aspects to inject tracing into any application |
Status Codes Maven Plugin | Maven plugin that supports automated monitoring and reporting |
Integration Tests | Console application for demo / integration tests |
▼Symbolic Logic | |
Sentential Calculus | The logic of declarative sentences |
Connectives | Logical operations of the sentential and monadic predicate calculi |
Validity | A Priori Validity vs. A Posteriori Truth |
Inference Rules | Axioms of symbolic logic expressed as formula transformations |
Tautologies | Vacuously-true statements |
Proofs | Proof procedures using inference rules |
Monadic Predicate Calculus | Generalizing symbolic logic beyond "atomic" sentences |
Appendix 1: Context-Free Grammar | Backus-Naur Form "strict" syntax for the monadic predicate calculus |
README | |
▼Scheme Tutorials | Brief tutorials on a number of features of the Scheme programming language |
Basics | Background info on Scheme |
Tail Recursion | Functional programming, CPS and tail recursion |
Lexical Closures | Lexical environments in Scheme |
Continuations | First-class continuations |
dynamic-wind | Protected logic during stack unwinding and rewinding |
Engines from Continuations | A practical application of continuations to implement sophisticated flows of control |
Software Development Life-Cycle | How to create, operate and maintain complex software systems |
▼Formulas of the Monadic Predicate Calculus | Parsing and rendering expressions of a well-known formal language |
Parsing Symbolic Logic Formulas | Demonstrate object-oriented programing using a simple class hierarchy in Java |
TT | Generate Markfown output for a formula of the monadic predicate calculus |
Unit Testing Guidelines | Unit testing guidelines |
Using Doxygen | Documenting Java code using Doxygen |
Bibliography | |