Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/ifip2/1989,
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  publisher    = {Springer},
  year         = {1991},
  isbn         = {3-540-53961-1},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/AptO89,
  author       = {Krzysztof R. Apt and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Introduction to Program Verification},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {363--430},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 16:12:06 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/AptO89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Astesiano89,
  author       = {Egidio Astesiano},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Inductive and Operational Semantics},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {51--136},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Astesiano89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Bjorner89,
  author       = {Dines Bj{\o}rner},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Specification and Transformation. Methodology Aspects of the Vienna
                  Development Method - Towards a Meaning of 'M' in {VDM}},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {137--258},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Bjorner89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Broy89,
  author       = {Manfred Broy},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Formalization of Distributed, Concurrent, Reactive Systems},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {319--262},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Broy89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Cardelli89,
  author       = {Luca Cardelli},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Typeful Programming},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {431},
  publisher    = {Springer},
  year         = {1989},
  url          = {http://lucacardelli.name/Papers/TypefulProg.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Cardelli89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Mosses89,
  author       = {Peter D. Mosses},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {A Practical Introduction to Denotational Semantics},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {1--50},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Mosses89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Wirsing89,
  author       = {Martin Wirsing},
  editor       = {Erich J. Neuhold and
                  Manfred Paul},
  title        = {Algebraic Specification: Semantics, Parameterization and Refinement},
  booktitle    = {Formal Description of Programming Concepts, based on a seminar organized
                  by {IFIP} Working Group 2.2 and held near Rio de Janeiro in April
                  1989},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {259--318},
  publisher    = {Springer},
  year         = {1989},
  timestamp    = {Thu, 17 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Wirsing89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}