The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
- 1 March 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 23 (1) , 169-177
- https://doi.org/10.1145/107005.107035
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A denotational semantics for PrologACM Transactions on Programming Languages and Systems, 1989
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- Diagnostic Models for Procedural Bugs in Basic Mathematical Skills*Cognitive Science, 1978