Search dblp for Publications

export results for "toc:db/conf/praapr/praapr1972.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.