Bibliography

• Publications


[AbramskyGabbayMaibaum] S. Abramsky, D. Gabbay and T. S. E. Maibaum.
Correspondence between Operational and Denotational Semantics. The Full Submitted to Handbook of Theoretical Computer Science Vol. 3,  Oxford.

[Akman92] Varol Akman.
Review of Action Semantics by Peter D. Mosses. Cambridge Tracts in Theoretical Computer Science 26. Cambridge University Press, U.K., 372 + xx pages, 1992. Bilkent University, Ankara.

[AnlauffKutterPierantonioThiele99] Matthias Anlauff, Philipp Kutter, Alfonso Pierantonio and Lothar Thiele.
Generating an Action Notation Environment from Montages Descriptions. Proceedings of the 2nd International Workshop on Action Semantics (AS'99), University of Aarhus, Department of Computer Science BRICS Notes Series NS-99-3, March 1999.

[Banerjee95] Anindya Banerjee.
The semantics and implementation of bindings in higher-order programming languages. Ph.D.
dissertation, Kansas State University, 1995.

[BanerjeeSchmidt94] A. Banerjee and D.A. Schmidt.
Stackability in the call-by-value typed lambda calculus. Science of Computer Programming, to appear. (Preliminary version appears in Proc. Symposium on Static Analysis, Springer LNCS 864, pp. 131-146.)

[CenciarelliKnappReusWirsing98] Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing.
An Event-Based Structural Operational Semantics of Multi-Threaded Java, Springer, 1998.

[DohSchmidt93] K.-G. Doh and D.A. Schmidt.
Action semantics-directed prototyping. Computer Languages 19-4 (1993) 213-233.

[EvenSchmidt90] S. Even and D.A. Schmidt.
Category sorted algebra-based action semantics. Theoretical Computer Science 77-1,2 (1990) 73-96.

[Fiech93] A. Fiech.
A Denotational Model for Polymorphic Lambda Calculus with Subtyping. Ph.D. dissertation, Kansas State University, 1993.

[FiechHuth94] A. Fiech and M. Huth.
Algebraic domains of natural transformations. Theoretical Computer Science, in press.

[FiechSchmidt96] A. Fiech and D.A. Schmidt.
Polymorphic Lambda Calculus and Subtyping. Submitted for journal publication.

[GurevichLawrence] Yuri Gurevich and Lawrence S. Moss.
Algebraic operational semantics and Occam.We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we discuss applications to the study of verification and transformation of programs.

[HeeringKlint99] Jan Heering and Paul Klint.
 Semantics of Programming Languages: A Tool-Oriented Approach. CWI and University of Amsterdam.

[HowardMitchell90] Brian T. Howard and John C. Mitchell.
Operational and axiomatic semantics of PCF (lambda calculus). Conference on LISP and Functional Programming, Nice France, Pages 298-306.

[JosephMalcolm96] Joseph Goguen and Grant Malcolm.
Algebraic Semantics of Imperative Programs, MIT Press.

[Jung96] Achim Jung.
Domains and Denotational Semantics: History, Accomplishments and Open Problems. Bulletin of the EATCS, 59:227-256, June 1996. Also published as Technical Report CSR-96-2, University of Birmingham, School of Computer Science.

[JungStoughton93] A. Jung and A. Stoughton.
Studying the fully abstract model of PCF within its continuous function model.International Conference on Typed Lambda Calculi and Applications, LNCS 664, Springer-Verlag, 1993, 230-244.

[Kent93] S. Kent.
An Axiomatic Semantics for VDM++: OO Aspects. Afrodite Report AFRO/IC/SK/SEM-OO/V2, Imperial College of Science, Technology and Medicine, London, January 1993.

[KoutnyBest] M. Koutny and E. Best.
Operational and denotational semantics for the box algebra (petri nets). This paper describes general theory underpinning the operational semantics and the denotational Petri net semantics of the box algebra including recursion.

[MernikZumer00] Marjan Mernik and Viljem Zumer.
Reusability of formal specifications in programming language description. University of Maribor, Faculty of Electrical Engineering and Computer Science, Maribor, Slovenia.

[Meyer90] Bertrand Meyer.
Introduction to the Theory of Programming Languages, Prentice-Hall International.

[Milner] R. Milner.
Operational and Algebraic Semantics of Concurrent Processes. Define a congruence relation over the language, called observation-congruence, based upon the idea of bisimulation from David Park. LFCS report ECS-LFCS-88-46.

[MizunoSchmidt92] M. Mizuno and D.A. Schmidt.
A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing 4 (1992) 727-754.

[Schmidt85] D.A. Schmidt.
Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems 7-2 (1985) 299-310.

[Schmidt86] D.A. Schmidt.
Denotational Semantics: A Methodology for Language Development. Wm. C. Brown, Dubuque, IA, 1986.

[Schmidt88] D.A. Schmidt.
Detecting stack-based environments in denotational definitions. Science of Computer Programming 11-2 (1988) 107-133.

[Schimdt94] D. A. Schmidt.
The Structure of Typed Programming Languages, MIT Press, Cambridge, Massachusetts, 367 pages, 1994.

[Schmidt95a] D.A. Schmidt.
Programming Language Semantics. In CRC Handbook of Computer Science, Allen Tucker, ed., CRC Press, Boca Raton, FL, in press.

[Schmidt95b] D.A. Schmidt.
Natural-semantics-based abstract interpretation. Proc. 1995 Static Analysis Symposium, Glasgow, A. Mycroft, ed., Springer LNCS, in press.

[Schmidt96] D.A. Schmidt.
Abstract interpretation of small-step semantics . Proc. 1996 LOMPAS Workshop on Multiple-Agent Languages, M. Dam and F.Orava, eds. , Report 96-05, Swedish Inst. Computer Science, Stockholm.

[Schmidt96] D.A. Schmidt.
Programming Language Semantics. ACM Computing Surveys, Vol. 28, No. 1, March 1996.

[SlonnegerKurts95]
Formal Syntax and Semantics of Programming Languages Addison Wesley

[Stoughton88] A. Stoughton.
Fully Abstract Models of Programming Languages. Research Notes in Theoretical Computer Science, Pitman/Wiley, 123 pages, 1988.

[Stoy77] J. Stoy.
Denotational Semantics -- the Scott-Strachey approach to programming language theory, MIT Press, Cambridge, Massachusetts, United States.

[WandSullivan97] Mitchell Wand and Gregory T. Sullivan.
Papers on Operational Semantics and Related Topics.Denotational Semantics Using an Operationally-Based Term Model. In Proceedings 23rd ACM Symposium on Programming Languages, pages 386--399, 1997.

[WansbroughHamer97] Keith Wansbrough and John Hamer.
A Modular Monadic Action Semantics. In this paper, we contribute a synthesis of two existing systems that address the problem of providing sound semantic descriptions of realistic programming languages: action semantics and modular monadic semantics. University of Auckland.

[Watt91] David A. Watt.
Programming Language Syntax and Semantics, Prentice-Hall International.

[Zamfir-Bleyberg87] M. Zamfir-Bleyberg.
Initial algebra semantics and concurrency. Proceedings Third Workshop on Mathematical Foundations of Programming Semantics, LNCS 298, Springer-Verlag, 1987, 528-549.

[???] ??.
An Algebraic Semantics for Hierarchical P/T Nets. The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP.
 
 

• Links


Papers of Kim Bruce. Links to Kim Bruce's recent papers.

Peter Mosses' Papers. List of publications from the DBLP Bibliography Server.

David Watt's Papers

Action Semantics Papers. An introduction to the Action Semantics framework.