External Links

    Journal: Journal of Symbolic Computation

    Volume 30, Issue 1

    1 -- 3Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel. Foreword to the Special Issue on Schemas
    5 -- 36Penny Anderson, David A. Basin. Program Development Schemata as Derived Rules
    37 -- 61Matthias Fuchs. Proofs as Schemas and Their Heuristic Use
    63 -- 91S. M. Brien, A. P. Martin. A Calculus for Schemas in Z
    93 -- 127Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson. An Abstract Formalization of Correct Schemas for Program Synthesis
    runs on