Implementing denotational semantics with logic programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing denotational semantics with logic programming

Full text

Pdf (633 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 1992 ACM annual conference on Communications table of contents

Kansas City, Missouri, United States

Pages: 337 - 344

Year of Publication: 1992

ISBN:0-89791-472-4

Author

Ken Slonneger

The University of Iowa, Iowa City, Iowa

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 8, Citation Count: 0

Additional Information:

references index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/131214.131257 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Lloyd Allison, "Programming Denotational Semantics", The Computer Journal, 26, (2), 164-174(1983).
	2	Lloyd Allison, A practical introduction to denotational semantics, Cambridge University Press, New York, NY, 1986
	3	Frank Pagan, "Algol68 as a metalanguage for denotational semantics", The Computer Journal, 22, (1), 63-66 (1979).
	4	David H. D. Warren, "Logic Programming and Compiler Writing", Software--4"ractice and Experience, 10, 97-125 (1980).
	5	Chris D.S. Moss, How to define a language using PROLOG, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.67-73, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802136]
	6	W F. Clocksin , Christopher S. Mellish, Programming in Prolog (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1984
	7	Michael J. C. Gordon, The Denotational Description of Programming Languages: An Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1979
	8	Frank G. Pagen, Formal Specifications of Programming Language: A Panoramic Primer, Prentice Hall PTR, Upper Saddle River, NJ, 1981

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES

Additional Classification:
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.2 Semantics of Programming Languages
Subjects: Denotational semantics
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic
Subjects: Logic and constraint programming

I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.3 Deduction and Theorem Proving
Subjects: Logic programming

General Terms:
Languages

REVIEW

"Frank George Pagan : Reviewer"

If the metalanguage used to specify the semantics of a programming language L1 is itself a programming language L2 (as opposed to an abstract formal notation), the specification can have the great advantage of executability and perhaps serve a more...

Collaborative Colleagues:

Ken Slonneger: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player