AP5 author: Don Cohen don@isis.cs3-inc.com The mail will bounce but the bounce message will give you a working address. last revised: 2012/02/20 Introduction Basics Annotations, representations and derivations Rules, Constraints and Atomic Transitions Types Equivalence Finer Control over Implementation Database representation of domain model Miscellaneous Appendices index AP5 is an extension to commonlisp which allows users to "program" at a more "specificational" level. By this we mean that it allows you to focus more on what you want the machine to do and less on the details of how. AP5 is a compromise between lisp and the gist specification language. In particular, it incorporates those parts of gist that can be reasonably compiled. Unlike gist, it allows programmers to deal with performance issues. There are two mechanisms for this. One is that the compiler can ...