ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
An exercise in denotational semantics
Full text PdfPdf (454 KB)
Source Technical Symposium on Computer Science Education archive
Proceedings of the twenty-second SIGCSE technical symposium on Computer science education table of contents
San Antonio, Texas, United States
Pages: 178 - 183  
Year of Publication: 1991
ISBN:0-89791-377-9
Also published in ...
Author
Ken Slonneger
Sponsor
SIGCSE: ACM Special Interest Group on Computer Science Education
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 1,   Downloads (12 Months): 18,   Citation Count: 1
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/107004.107036
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.

 
Allison83
Lloyd Allison, "Programming Denotational Semantics", The Computer Journal, Volume 26, Number 2, pp. 164-174.
 
Allison86
Lloyd Allison, A practical introduction to denotational semantics, Cambridge University Press, New York, NY, 1986
 
Clocksin84
W. F. Clocksin , Christopher S. Mellish, Programming in Prolog (3rd ed.), Springer-Verlag New York, Inc., New York, NY, 1987
Moss82
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]
 
Pagan79
Frank Pagan, "Algol68 as a metalanguage for denotational semantics", The Computer Jouxnal, Volume 22, Number 1, pp.63- 66.
 
Pagan81
Frank G. Pagen, Formal Specifications of Programming Language: A Panoramic Primer, Prentice Hall PTR, Upper Saddle River, NJ, 1981
 
Slonneger89
Ken Slonneger, "Denotational Semantics in Prolog", Technical Report 89-02, Department of Computer Science, The University of Iowa.

CITED BY
 
Doug Baldwin, Effectiveness of a language implementation project in building appreciation for formal specification, Journal of Computing Sciences in Colleges, v.22 n.6, p.173-183, June 2007

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Denotational semantics

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog

  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.2 Grammars and Other Rewriting Systems
          Subjects: Parsing

  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education


General Terms:
Algorithms, Languages

Collaborative Colleagues:
Ken Slonneger: colleagues

Peer to Peer - Readers of this Article have also read:
This Article has also been published in:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player