Search dblp for Publications

export results for "toc:db/conf/ifip2/fdpc1977.bht:"

 download as .bib file

@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}
}