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, 21 Jan 2019 00:00:00 +0100},
  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}
}
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.