Laboratory activities for studying the formal semantics of programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Laboratory activities for studying the formal semantics of programming languages

Full text

Pdf (683 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: 162 - 168

Year of Publication: 1991

ISBN:0-89791-377-9

Also published in ...

Author

Barry L. Kurtz

Sponsor

SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms 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/107004.107034 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	B. Bryant, A. Pan, Rapid Prototyping of Programming Language Semantics Using Prolog, University of Alabama at Birmingham Technical Report, CIS-TR-89- 08.
	2	Barrett R Bryant , Balanjaninath Edupuganty , Lee S Hull, Two-level grammar as an implementable metalanguage for axiomatic semantics, Computer Languages, v.11 n.3-4, p.173-191, 1986 [doi>10.1016/0096-0551(86)90010-X]
	3	B. Edupuganty, B. Bryant, Two-Level Grammar: An Implementable Metalanguage for Denotational Semantics, University of Alabama at Birmingham Technical Report, CIS-TR-88-05
	4	R. D. Gumb, Programming logics: an introduction to verification and semantics, John Wiley & Sons, Inc., New York, NY, 1989
	5	Barry L. Kurtz , Richard L. Oliver , Edward M. Collins, The design, implementation, and use of DSTutor: a tutoring system for denotational semantics, Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, p.169-177, March 07-08, 1991, San Antonio, Texas, United States
	6	Frank G. Pagen, Formal Specifications of Programming Language: A Panoramic Primer, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	7	Thomas W. Reps , Tim Teitelbaum, The synthesizer generator: a system for constructing language-based editors, Springer-Verlag New York, Inc., New York, NY, 1989
	8	Thomas W. Reps , Tim Teitelbaum, The synthesizer generator reference manual (3rd ed.), Springer-Verlag New York, Inc., New York, NY, 1989
	9	David A. Schmidt, Denotational semantics: a methodology for language development, William C. Brown Publishers, Dubuque, IA, 1986
	10	Ravi Sethi, Programming languages: concepts and constructs, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	11	S. Turner, W-Grammars for Logic Programming, in Implementations of Prolog, J. Campbell, editor, Ellis Horwood Limited, distributed by John Wiley & Sons, 1985
	12	David A. Watt, Programming language concepts and paradigms, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990