Programming Language Semantics

Programming Language Pragmatics

Michael L. Scott

Logic programming: operational semantics and proof theory

James H. Andrews.

Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)

Enrico Pontelli

Semantic Issues in e-Commerce Systems (IFIP International Federation for Information Processing)

Karl Aberer, Robert Meersman, Tharam Dillon

Domains and processes: proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999

edited by Klaus Keimel ... [et al.].

Language Architectures and Programming Environments

T. Ichikawa

Formal Syntax and Semantics of Java

Jim Alves-Foss

Stochastically-based semantic analysis

by Wolfgang Minker, Alex Waibel, Joseph Mariani.

Advances in Conceptual Modeling - Theory and Practice: ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, ... (Lecture Notes in Computer Science)

International Conference on Conceptual Modeling (25th 2006 Tucson, Ariz.)

Comparative Metric Semantics of Programming Languages, Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Franck van Breughel