Programming Language Semantics

Programming Language Pragmatics

Michael L. Scott

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

Logic programming: operational semantics and proof theory

James H. Andrews.

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

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

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

Karl Aberer, Robert Meersman, Tharam Dillon

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

Language Architectures and Programming Environments

T. Ichikawa