default search action
Search dblp for Publications
export results for "toc:db/conf/ifip2/fdpc1977.bht:"
@proceedings{DBLP:conf/ifip2/1977, editor = {Erich J. Neuhold}, title = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, publisher = {North-Holland}, year = {1978}, isbn = {0-444-85107-0}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/1977.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/AielloAP77, author = {Luigia Aiello and Giuseppe Attardi and Gianfranco Prini}, editor = {Erich J. Neuhold}, title = {Towards a More Declarative Programming Style}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {121--138}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 18:41:33 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/AielloAP77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/AndersonBB77, author = {Eric R. Anderson and Frank C. Belz and Edward K. Blum}, editor = {Erich J. Neuhold}, title = {Issues in the Formal Specifications of Programming Languages}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {1--30}, publisher = {North-Holland}, year = {1977}, timestamp = {Wed, 23 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/AndersonBB77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Apt77, author = {Krzysztof R. Apt}, editor = {Erich J. Neuhold}, title = {Equivalence of Operational and Denotational Semantics for a Fragment of Pascal}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {139--164}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Apt77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/ArvindG77, author = {Arvind and Kim P. Gostelow}, editor = {Erich J. Neuhold}, title = {Some Relationships Between Asynchronous Interpreters of a Dataflow Language}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {95--120}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/ArvindG77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Bakker77, author = {Jaco de Bakker}, editor = {Erich J. Neuhold}, title = {Recursive Programs as Predicate Transformers}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {165--182}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Bakker77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/BerryEJS77, author = {Daniel M. Berry and Michael Erlinger and John B. Johnston and Arndt von Staa}, editor = {Erich J. Neuhold}, title = {Models of Hierarchical Machine Support}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {557--588}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/BerryEJS77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Blikle77, author = {Andrzej Blikle}, editor = {Erich J. Neuhold}, title = {Towards Mathematical Structured Programming}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {183--202}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Blikle77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/CousotC77, author = {Patrick Cousot and Radhia Cousot}, editor = {Erich J. Neuhold}, title = {Static Determination of Dynamic Properties of Recursive Procedures}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {237--278}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/CousotC77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/DammFI77, author = {Werner Damm and Elfriede Fehr and Klaus Indermark}, editor = {Erich J. Neuhold}, title = {Higher Type Recursion and Self-Application as Control Structures}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {461--490}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/DammFI77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Dennis77, author = {Jack B. Dennis}, editor = {Erich J. Neuhold}, title = {Opening Remarks}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {xi}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Dennis77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Emden77, author = {Maarten H. van Emden}, editor = {Erich J. Neuhold}, title = {Computation and Deductive Information Retrieval}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {421--440}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Emden77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Ershov77, author = {Andrei P. Ershov}, editor = {Erich J. Neuhold}, title = {On the Essence of Compilation}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {391--420}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Ershov77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Finance77, author = {Jean{-}Pierre Finance}, editor = {Erich J. Neuhold}, title = {Static and Computational Semantics of a Definitional Language}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {67--94}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Finance77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/FlonS77, author = {Lawrence Flon and Norihisa Suzuki}, editor = {Erich J. Neuhold}, title = {Nondeterminism and the Correctness of Parallel Programs}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {589--608}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/FlonS77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Fokkinga77, author = {Maarten M. Fokkinga}, editor = {Erich J. Neuhold}, title = {Axiomatization of Declarations and the Formal Treatment of an Escape Construct}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {221--236}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Fokkinga77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Goguen77, author = {Joseph A. Goguen}, editor = {Erich J. Neuhold}, title = {Abstract Errors for Abstract Data Types}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {491--526}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Goguen77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/GuttagHL77, author = {John V. Guttag and James J. Horning and Ralph L. London}, editor = {Erich J. Neuhold}, title = {A Proof Rule for Euclid Procedures}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {211--220}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/GuttagHL77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/HewittB77, author = {Carl E. Hewitt and Henry G. Baker}, editor = {Erich J. Neuhold}, title = {Actors and Continuous Functionals}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {367--390}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/HewittB77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Keller77, author = {Robert M. Keller}, editor = {Erich J. Neuhold}, title = {Denotational Models for Parallel Programs with Indeterminate Operators}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {337--366}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Keller77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Kroger77, author = {Fred Kr{\"{o}}ger}, editor = {Erich J. Neuhold}, title = {A Uniform Logical Basis for the Description, Specification and Verification of Programs}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {441--460}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Kroger77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Lamsweerde77, author = {Axel van Lamsweerde}, editor = {Erich J. Neuhold}, title = {From Verifying Termination to Guaranteeing it: {A} Case Study}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {609--620}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Lamsweerde77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/LauerBS77, author = {Peter E. Lauer and Eike Best and Michael W. Shields}, editor = {Erich J. Neuhold}, title = {On the Problem of Achieving Adequacy of Concurrent Programs}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {301--336}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/LauerBS77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/LiptonS77, author = {Richard J. Lipton and Lawrence Snyder}, editor = {Erich J. Neuhold}, title = {On the Power of Applicative Languages}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {203--210}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 29 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifip2/LiptonS77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Milne77, author = {Robert Milne}, editor = {Erich J. Neuhold}, title = {Transforming Predicate Transformers}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {31--66}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Milne77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/NakajimaHN77, author = {Reiji Nakajima and Michio Honda and Hayao Nakahara}, editor = {Erich J. Neuhold}, title = {Describing and Verifying Programs with Abstract Data Types}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {527--556}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/NakajimaHN77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Owicki77, author = {Susan S. Owicki}, editor = {Erich J. Neuhold}, title = {Verifying Concurrent Programs With Shared Data Classes}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {279--300}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Owicki77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2/Roever77, author = {Willem P. de Roever}, editor = {Erich J. Neuhold}, title = {On Backtracking and Greatest Fixpoints}, booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP} Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977}, pages = {621--640}, publisher = {North-Holland}, year = {1977}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip2/Roever77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.