Issues in agent communication

Control flow semantics von Bakker, Jacobus W. de 1939-2012, Vink, Eric de

Coordination languages and models first international conference COORDINATION '96 Cesena, Italy, April 15 - 17, 1996 ; proceedings

Deductive and object-oriented databases second international conference, DOOD '91, Munich, Germany, December 16-18, 1991 ; proceedings

Introduction to the theory of programming languages von Meyer, Bertrand 1950-

Truth, deduction, and computation logic and semantics for computer science von Davis, Ruth E.

Attribute grammar inversion and source-to-source translation von Yellin, Daniel M.

An attribute grammar for the semantic analysis of Ada

Formal specification of programming languages a panoramic primer von Pagan, Frank G.

Formal specification of programming languages A panoramic primer von Pagan, Frank G.

Coroutines a programming methodology, a language design and an implementation von Marlin, Christopher D.

Conference record of the seventh annual ACM Symposium on Principles of Programming Languages papers presented at the symposium Las Vegas, Nevada January 28 - 30, 1980

Inhaltsverzeichnis

The denotational description of programming languages an introduction von Gordon, Michael J. C. 1948-

Deductive and object oriented databases fourth international conference, DOOD '95, Singapore, December 4-7, 1995 ; proceedings

Commentary on Standard ML von Milner, Robin 1934-2010, Tofte, Mads

Predicate calculus and program semantics von Dijkstra, Edsger W. 1930-2002, Scholten, Carel S. 1925-2009

Predicate calculus and program semantics von Dijkstra, Edsger W. 1930-2002, Scholten, Carel S. 1925-2009

Truth, deduction, and computation logic and semantics for computer science von Davis, Ruth E.

Automata, languages and programming 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings

Programming language structures von Organick, Elliott I. 1925-1985, Forsythe, Alexandra I., Plummer, Robert P.

FAW01
URL des Erstveröffentlichers