![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/praapr:"
@inproceedings{DBLP:conf/praapr/Allen72, author = {C. David Allen}, title = {Derivation of axiomatic definitions of programming languages from algorithmic definitions}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {15--26}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807069}, doi = {10.1145/800235.807069}, timestamp = {Thu, 24 Feb 2022 14:21:36 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Allen72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Ashcroft72, author = {Edward A. Ashcroft}, title = {Program correctness methods and language definition}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {51--57}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807071}, doi = {10.1145/800235.807071}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Ashcroft72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Berry72, author = {Daniel M. Berry}, title = {The equivalence of models of tasking}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {170--190}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807084}, doi = {10.1145/800235.807084}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Berry72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Burstall72, author = {Rod M. Burstall}, title = {An algebraic description of programs with assertions, verification and simulation}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {7--14}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807068}, doi = {10.1145/800235.807068}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Burstall72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/CadiouM72, author = {Jean{-}Marie Cadiou and Zohar Manna}, title = {Recursive definitions of partial functions and their computations}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {58--65}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807072}, doi = {10.1145/800235.807072}, timestamp = {Sun, 08 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/praapr/CadiouM72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/CheathamW72, author = {Thomas E. Cheatham Jr. and Ben Wegbreit}, title = {On a laboratory for the study of automating programming}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {208--211}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807087}, doi = {10.1145/800235.807087}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/CheathamW72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Fischer72, author = {Michael J. Fischer}, title = {Lambda calculus schemata}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {104--109}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807077}, doi = {10.1145/800235.807077}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Fischer72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/GarlandL72, author = {Stephen J. Garland and David C. Luckham}, title = {Translating recursion schemes into program schemes}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {83--96}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807075}, doi = {10.1145/800235.807075}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/GarlandL72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/HullES72, author = {Thomas E. Hull and Wayne H. Enright and Arthur E. Sedgwick}, title = {The correctness of numerical algorithms}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {66--73}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807073}, doi = {10.1145/800235.807073}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/HullES72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Jones72, author = {Cliff B. Jones}, title = {Formal development of correct algorithms: An example based on earley's recogniser}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {150--169}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807083}, doi = {10.1145/800235.807083}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/praapr/Jones72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Lee72, author = {John A. N. Lee}, title = {The definition and validation of the radix sorting technique}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {142--149}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807082}, doi = {10.1145/800235.807082}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Lee72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/London72, author = {Ralph L. London}, title = {Correctness of a compiler for a Lisp subset}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {121--127}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807080}, doi = {10.1145/800235.807080}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/London72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/MannaNV72, author = {Zohar Manna and Stephen Nes and Jean Vuillemin}, title = {Inductive methods for proving properties of programs}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {27--50}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807070}, doi = {10.1145/800235.807070}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/MannaNV72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/McGowan72, author = {Clement McGowan}, title = {The Contour Model Lambda Calculus Machine}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {110--115}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807078}, doi = {10.1145/800235.807078}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/McGowan72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/McGowan72a, author = {Clement L. McGowan}, title = {The "most recent" error: Its causes and correction}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {191--202}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807085}, doi = {10.1145/800235.807085}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/McGowan72a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Miller72, author = {Raymond E. Miller}, title = {A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {116--120}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807079}, doi = {10.1145/800235.807079}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Miller72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Milner72, author = {Robin Milner}, title = {Implementation and applications of Scott's logic for computable functions}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {1--6}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807067}, doi = {10.1145/800235.807067}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Milner72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Paterson72, author = {Michael S. Paterson}, title = {Decision problems in computational models}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {74--82}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807074}, doi = {10.1145/800235.807074}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Paterson72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Sintzoff72, author = {Michel Sintzoff}, title = {Calculating properties of programs by valuations on specific models}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {203--207}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807086}, doi = {10.1145/800235.807086}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Sintzoff72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/StrongW72, author = {H. Raymond Strong and S. A. Walker}, title = {Properties preserved under recursion removal}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {97--103}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807076}, doi = {10.1145/800235.807076}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/StrongW72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/praapr/Wegner72, author = {Peter Wegner}, title = {Operational semantics of programming languages}, booktitle = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, pages = {128--141}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235.807081}, doi = {10.1145/800235.807081}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/Wegner72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/praapr/1972, title = {Proceedings of {ACM} Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800235}, doi = {10.1145/800235}, isbn = {978-1-4503-7891-8}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/praapr/1972.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.