Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Description of Programming Concepts 1982: Garmisch-Partenkirchen, Germany

> 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
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/1982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/1982
Dines Bjørner:
Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. North-Holland 1983, ISBN 0-444-86619-1

Session 1: Chairman: Dines Bjørner, Tuesday, June 1, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Ganzinger82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Ganzinger82
Harald Ganzinger:
Denotational Semantics for Languages with Modules. Formal Description of Programming Concepts 1982: 3-24
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Gaudel82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Gaudel82
Marie-Claude Gaudel:
Correctness Proof of Programming Language Translations. Formal Description of Programming Concepts 1982: 25-44
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Mosses82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Mosses82
Peter D. Mosses:
Abstract Semantic Algebras. Formal Description of Programming Concepts 1982: 45-72
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/ChristiansenJ82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/ChristiansenJ82
Henning Christiansen, Neil D. Jones:
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Formal Description of Programming Concepts 1982: 73-98
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Lucas82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Lucas82
P. Lucas:
Session Discussion. Formal Description of Programming Concepts 1982: 99-106

Session 2: Chairman: Corrado Böhm, Wednesday, June 2, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Wagner82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Wagner82
Eric G. Wagner:
Functorial Hierarchies of Functional Languages. Formal Description of Programming Concepts 1982: 107-124
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Broy82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Broy82
Manfred Broy:
Fixed PointTheory for Communication and Concurrency. Formal Description of Programming Concepts 1982: 125-148
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Blikle82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Blikle82
Andrzej Blikle:
Session Discussion. Formal Description of Programming Concepts 1982: 149-158

Session 3: Chairman: Jack B. Dennis, Wednesday, June 2, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/KuiperR82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/KuiperR82
Ruurd Kuiper, Willem P. de Roever:
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts 1982: 159-170
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/BroyW82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BroyW82
Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Finitary Infinite. Formal Description of Programming Concepts 1982: 171-198
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Plotkin82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Plotkin82
Gordon D. Plotkin:
An Operational Semantics for CSP. Formal Description of Programming Concepts 1982: 199-226
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/HennessyL82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/HennessyL82
Matthew C. B. Hennessy, Wei Li:
Translating a Subset of Ada into CCS. Formal Description of Programming Concepts 1982: 227-250
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Bakker82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Bakker82
Jaco de Bakker:
Session Discussion. Formal Description of Programming Concepts 1982: 251-264

Session 4: Chairman: M. Paul, Thursday, June 3, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Maggiolo-Schettini82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Maggiolo-Schettini82
Andrea Maggiolo-Schettini, Józef Winkowski:
Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts 1982: 265-280
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Neuhold82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Neuhold82
Erich J. Neuhold:
Session Discussion. Formal Description of Programming Concepts 1982: 281-288

Session 5: Chairman: Jack B. Dennis, Friday, June 4, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/BergstraK82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BergstraK82
Jan A. Bergstra, Jan Willem Klop:
Formal Proof Systems for Program Equivalence. Formal Description of Programming Concepts 1982: 289-304
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Padawitz82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Padawitz82
Peter Padawitz:
Equational Data Type Specifications and Recursive Program Schemes. Formal Description of Programming Concepts 1982: 305-330
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/JouannaudLR82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/JouannaudLR82
Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig:
Recursive Decomposition Ordering. Formal Description of Programming Concepts 1982: 331-348
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Cousineau82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Cousineau82
Guy Cousineau:
Session Discussion. Formal Description of Programming Concepts 1982: 349-356

Session 6: Chairman: P. Lauer, Friday, June 4, 1982

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/GenrichT82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/GenrichT82
Hartmann J. Genrich, P. S. Thiagarajan:
Well-Formed Flow Charts for Concurrent Programming. Formal Description of Programming Concepts 1982: 357-382
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/CastellaniFM82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/CastellaniFM82
Ilaria Castellani, Paola Franceschi, Ugo Montanari:
Labeled Event Structures: A Model for Observable Concurrency. Formal Description of Programming Concepts 1982: 383-400
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Cousineau82a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Cousineau82a
Guy Cousineau:
Session Discussion. Formal Description of Programming Concepts 1982: 401-408

Accepted Papers Not Presented

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/CasanovaCF82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/CasanovaCF82
Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado:
Properties of Conceptual and External Database Schemas. Formal Description of Programming Concepts 1982: 409-430
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2/Best82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Best82
Eike Best:
Relational Semantics of Concurrent Programs (With Some Applications). Formal Description of Programming Concepts 1982: 431-452

a service of

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.