default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Description of Programming Concepts 1987: Ebberup, Denmark

> 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/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/1987
Martin Wirsing:
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986. North-Holland 1987, ISBN 0-444-70253-9

Session 1: Logic of Programs

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/MirkowskaS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/MirkowskaS87
Grazyna Mirkowska, Andrzej Salwicki:
Axiomatic definability of programming language semantics. Formal Description of Programming Concepts 1987: 3-22
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Boer87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Boer87
Frank S. de Boer:
A proof rule for process-creation. Formal Description of Programming Concepts 1987: 23-52

Session 2: Concurrency I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/BaetenBK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BaetenBK87
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop:
Conditional axioms and α/β-calculus in process algebra. Formal Description of Programming Concepts 1987: 53-76
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/BergstraKO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BergstraKO87
Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog:
Failures without chaos: a new process semantics for fair abstraction. Formal Description of Programming Concepts 1987: 77-104
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/DeganoNM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/DeganoNM87
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari:
Observational equivalences for concurrency models. Formal Description of Programming Concepts 1987: 105-134

Session 3: Semantics

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/MossesW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/MossesW87
Peter D. Mosses, David A. Watt:
The use of action semantics. Formal Description of Programming Concepts 1987: 135-166
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Jagannathan87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Jagannathan87
Sarangapani Jagannathan:
A model of data backup and recovery in a computer system for functional programming. Formal Description of Programming Concepts 1987: 167-192
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/FelleisenF87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/FelleisenF87
Matthias Felleisen, Daniel P. Friedman:
Control operators, the SECD-machine, and the λ-calculus. Formal Description of Programming Concepts 1987: 193-222

Session 4: Term Rewriting and Logic Programming

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/JouannaudW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/JouannaudW87
Jean-Pierre Jouannaud, B. Waldmann:
Reductive conditional term rewriting systems. Formal Description of Programming Concepts 1987: 223-244
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/DebrayM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/DebrayM87
Saumya K. Debray, Prateek Mishra:
Denotational and operational semantics for PROLOG. Formal Description of Programming Concepts 1987: 245-274
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/JaffarLM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/JaffarLM87
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher:
PROLOG - II as an instance of the logic programming language scheme. Formal Description of Programming Concepts 1987: 275-298

Session 5: Concurrency II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/BestD87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/BestD87
Eike Best, Raymond Devillers:
Interleaving and partial orders in concurrency: a formal comparison. Formal Description of Programming Concepts 1987: 299-324
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/ChadiliG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/ChadiliG87
M. Chadili, Irène Guessarian:
Notions of fairness for synchronous fork join nets. Formal Description of Programming Concepts 1987: 325-346
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/SmolkaS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/SmolkaS87
Scott A. Smolka, Robert E. Strom:
A CCS semantics for NIL. Formal Description of Programming Concepts 1987: 347-376

Session 6: High Order Programming

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/AmadioL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/AmadioL87
Roberto M. Amadio, Giuseppe Longo:
Type-free compiling of parametric types. Formal Description of Programming Concepts 1987: 377-398
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Hayashi87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Hayashi87
Susumu Hayashi:
PX: a system extracting programs from proofs. Formal Description of Programming Concepts 1987: 399-424
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip2/Dezani-Ciancaglini87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/Dezani-Ciancaglini87
Mariangiola Dezani-Ciancaglini, Ines Margaria:
Polymorphic types, fixed-point combinators and continuous lambda-models. Formal Description of Programming Concepts 1987: 425-450

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.