Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972. ACM, 1972. [doi]

Conference: praapr1972

Abstract is missing.

Implementation and applications of Scott's logic for computable functionsRobin Milner. 1-6 [doi]

An algebraic description of programs with assertions, verification and simulationRod M. Burstall. 7-14 [doi]

Derivation of axiomatic definitions of programming languages from algorithmic definitionsC. David Allen. 15-26 [doi]

Inductive methods for proving properties of programsZohar Manna, Stephen Nes, Jean Vuillemin. 27-50 [doi]

Program correctness methods and language definitionEdward A. Ashcroft. 51-57 [doi]

Recursive definitions of partial functions and their computationsJ. M. Cadiou, Zohar Manna. 58-65 [doi]

The correctness of numerical algorithmsThomas E. Hull, Wayne H. Enright, Arthur E. Sedgwick. 66-73 [doi]

Decision problems in computational modelsMichael S. Paterson. 74-82 [doi]

Translating recursion schemes into program schemesStephen J. Garland, David C. Luckham. 83-96 [doi]

Properties preserved under recursion removalH. Raymond Strong, S. A. Walker. 97-103 [doi]

Lambda calculus schemataMichael J. Fischer. 104-109 [doi]

The Contour Model Lambda Calculus MachineClement McGowan. 110-115 [doi]

A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)Raymond E. Miller. 116-120 [doi]

Correctness of a compiler for a Lisp subsetRalph L. London. 121-127 [doi]

Operational semantics of programming languagesPeter Wegner. 128-141 [doi]

The definition and validation of the radix sorting techniqueJohn A. N. Lee. 142-149 [doi]

Formal development of correct algorithms: An example based on earley's recogniserCliff B. Jones. 150-169 [doi]

The equivalence of models of taskingDaniel M. Berry. 170-190 [doi]

The "most recent" error: Its causes and correctionClement L. McGowan. 191-202 [doi]

Calculating properties of programs by valuations on specific modelsMichel Sintzoff. 203-207 [doi]

On a laboratory for the study of automating programmingThomas E. Cheatham Jr., Ben Wegbreit. 208-211 [doi]

runs on WebDSL