The design, implementation, and use of DSTutor: a tutoring system for denotational semantics

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The design, implementation, and use of DSTutor: a tutoring system for denotational semantics

Full text

Pdf (754 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: 169 - 177

Year of Publication: 1991

ISBN:0-89791-377-9

Also published in ...

Authors

Barry L. Kurtz
Richard L. Oliver
Edward M. Collins

Sponsor

SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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.107035 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	Athena Widget Set, C Language Interface, M.I.T., 1990
	2	Alfred Bork, Learning with personal computers, Harper & Row Publishers, Inc., New York, NY, 1986
	3	Brown, J. S., and Sleeman, D. (eds), intelligent Tutoring Systems, Academic Press, New York, 1982.
	4	Brown, J. S., and Burton, R. R., Diagnostic Models for Procedural Bugs in Basic Mathematical Skills, Cognitive Science, vol. 2, pp. 155-191, 1978.
	5	R. D. Gumb, Programming logics: an introduction to verification and semantics, John Wiley & Sons, Inc., New York, NY, 1989
	6	Greg P. Kearsley, Artificial intelligence and instruction: Applications and methods, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	7	Nicholson, T. and Foo, N., A Denotational Semantics for Prolog, ACM, 1989.
	8	Adrian Nye , Tim O'Reilly, X Toolkit intrinsics programming manual: second edition for X11, release 4, O'Reilly & Associates, Inc., Sebastopol, CA, 1990
	9	Frank G. Pagen, Formal Specifications of Programming Language: A Panoramic Primer, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	10	Pereira, F. C. N. and Warren, D. H. D., Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transitions Networks, Artificial Intelligence 13, pp. 231- 278. 1980.
	11	David A. Schmidt, Denotational semantics: a methodology for language development, William C. Brown Publishers, Dubuque, IA, 1986
	12	Wegner, E., Artificial Intelligence and Tutoring Systems, Morgan Kaufmann, Los Altos, CA, 1987.

CITED BY 3

	Barry L. Kurtz, Laboratory activities for studying the formal semantics of programming languages, ACM SIGCSE Bulletin, v.23 n.1, p.162-168, Mar. 1991
	Charles Prince , Roger L. Wainwright , Dale A. Schoenefeld , Travis Tull, GATutor: a graphical tutorial system for genetic algorithms, ACM SIGCSE Bulletin, v.26 n.1, p.203-207, March 1994
	Yingzhou Zhang , Baowen Xu, A survey of semantic description frameworks for programming languages, ACM SIGPLAN Notices, v.39 n.3, March 2004