![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Description of Programming Concepts 1982: Garmisch-Partenkirchen, Germany
- 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
- Harald Ganzinger:
Denotational Semantics for Languages with Modules. Formal Description of Programming Concepts 1982: 3-24 - Marie-Claude Gaudel:
Correctness Proof of Programming Language Translations. Formal Description of Programming Concepts 1982: 25-44 - Peter D. Mosses:
Abstract Semantic Algebras. Formal Description of Programming Concepts 1982: 45-72 - Henning Christiansen, Neil D. Jones:
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Formal Description of Programming Concepts 1982: 73-98 - P. Lucas:
Session Discussion. Formal Description of Programming Concepts 1982: 99-106
Session 2: Chairman: Corrado Böhm, Wednesday, June 2, 1982
- Eric G. Wagner:
Functorial Hierarchies of Functional Languages. Formal Description of Programming Concepts 1982: 107-124 - Manfred Broy:
Fixed PointTheory for Communication and Concurrency. Formal Description of Programming Concepts 1982: 125-148 - Andrzej Blikle:
Session Discussion. Formal Description of Programming Concepts 1982: 149-158
Session 3: Chairman: Jack B. Dennis, Wednesday, June 2, 1982
- Ruurd Kuiper, Willem P. de Roever:
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts 1982: 159-170 - Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Finitary Infinite. Formal Description of Programming Concepts 1982: 171-198 - Gordon D. Plotkin:
An Operational Semantics for CSP. Formal Description of Programming Concepts 1982: 199-226 - Matthew C. B. Hennessy, Wei Li:
Translating a Subset of Ada into CCS. Formal Description of Programming Concepts 1982: 227-250 - Jaco de Bakker:
Session Discussion. Formal Description of Programming Concepts 1982: 251-264
Session 4: Chairman: M. Paul, Thursday, June 3, 1982
- Andrea Maggiolo-Schettini, Józef Winkowski:
Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts 1982: 265-280 - Erich J. Neuhold:
Session Discussion. Formal Description of Programming Concepts 1982: 281-288
Session 5: Chairman: Jack B. Dennis, Friday, June 4, 1982
- Jan A. Bergstra, Jan Willem Klop:
Formal Proof Systems for Program Equivalence. Formal Description of Programming Concepts 1982: 289-304 - Peter Padawitz:
Equational Data Type Specifications and Recursive Program Schemes. Formal Description of Programming Concepts 1982: 305-330 - Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig:
Recursive Decomposition Ordering. Formal Description of Programming Concepts 1982: 331-348 - Guy Cousineau:
Session Discussion. Formal Description of Programming Concepts 1982: 349-356
Session 6: Chairman: P. Lauer, Friday, June 4, 1982
- Hartmann J. Genrich, P. S. Thiagarajan:
Well-Formed Flow Charts for Concurrent Programming. Formal Description of Programming Concepts 1982: 357-382 - Ilaria Castellani, Paola Franceschi, Ugo Montanari:
Labeled Event Structures: A Model for Observable Concurrency. Formal Description of Programming Concepts 1982: 383-400 - Guy Cousineau:
Session Discussion. Formal Description of Programming Concepts 1982: 401-408
Accepted Papers Not Presented
- 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 - Eike Best:
Relational Semantics of Concurrent Programs (With Some Applications). Formal Description of Programming Concepts 1982: 431-452
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.