default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Description of Programming Concepts 1989: Rio de Janeiro, Brazil

> Home > Conferences and Workshops > Formal Description of Programming Concepts

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/1989
Erich J. Neuhold, Manfred Paul:
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. IFIP State-of-the-Art Reports, Springer 1991, ISBN 3-540-53961-1
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Mosses89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Mosses89
Peter D. Mosses:
A Practical Introduction to Denotational Semantics. Formal Description of Programming Concepts 1989: 1-50
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Astesiano89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Astesiano89
Egidio Astesiano:
Inductive and Operational Semantics. Formal Description of Programming Concepts 1989: 51-136
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Bjorner89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Bjorner89
Dines Bjørner:
Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM. Formal Description of Programming Concepts 1989: 137-258
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Wirsing89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Wirsing89
Martin Wirsing:
Algebraic Specification: Semantics, Parameterization and Refinement. Formal Description of Programming Concepts 1989: 259-318
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Broy89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Broy89
Manfred Broy:
Formalization of Distributed, Concurrent, Reactive Systems. Formal Description of Programming Concepts 1989: 319-262
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/AptO89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/AptO89
Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Introduction to Program Verification. Formal Description of Programming Concepts 1989: 363-430
- view
  - electronic edition @ lucacardelli.name (open access)
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Cardelli89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Cardelli89
Luca Cardelli:
Typeful Programming. 431-

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.