Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProving Assertions About Programs 1972: Las Cruces, NM, USA
- Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972. ACM 1972, ISBN 978-1-4503-7891-8
- Robin Milner:
Implementation and applications of Scott's logic for computable functions. 1-6 - Rod M. Burstall:
An algebraic description of programs with assertions, verification and simulation. 7-14 - C. David Allen:
Derivation of axiomatic definitions of programming languages from algorithmic definitions. 15-26 - Zohar Manna, Stephen Nes, Jean Vuillemin:
Inductive methods for proving properties of programs. 27-50 - Edward A. Ashcroft:
Program correctness methods and language definition. 51-57 - Jean-Marie Cadiou, Zohar Manna:
Recursive definitions of partial functions and their computations. 58-65 - Thomas E. Hull, Wayne H. Enright, Arthur E. Sedgwick:
The correctness of numerical algorithms. 66-73 - Michael S. Paterson:
Decision problems in computational models. 74-82 - Stephen J. Garland, David C. Luckham:
Translating recursion schemes into program schemes. 83-96 - H. Raymond Strong, S. A. Walker:
Properties preserved under recursion removal. 97-103 - Michael J. Fischer:
Lambda calculus schemata. 104-109 - Clement McGowan:
The Contour Model Lambda Calculus Machine. 110-115 - Raymond E. Miller:
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract). 116-120 - Ralph L. London:
Correctness of a compiler for a Lisp subset. 121-127 - Peter Wegner:
Operational semantics of programming languages. 128-141 - John A. N. Lee:
The definition and validation of the radix sorting technique. 142-149 - Cliff B. Jones
:
Formal development of correct algorithms: An example based on earley's recogniser. 150-169 - Daniel M. Berry:
The equivalence of models of tasking. 170-190 - Clement L. McGowan:
The "most recent" error: Its causes and correction. 191-202 - Michel Sintzoff:
Calculating properties of programs by valuations on specific models. 203-207 - Thomas E. Cheatham Jr., Ben Wegbreit:
On a laboratory for the study of automating programming. 208-211
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
