Compiling circular attribute grammars into Prolog
IBM Journal of Research and Development
Task-oriented parsing - a diagnostic method to be used adaptive systems
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Iteration for applicative languages
ACM SIGPLAN Notices
A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
An exercise in denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Implementing denotational semantics with logic programming
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Using the Synthesizer-Generator to teach principles of programming language semantics
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
A logical approach to data structures
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Denotational semantics of a calculator
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A potpourri of notational pet peeves (and their resolution in modcap)
ACM SIGPLAN Notices
Data processing and computer science theory
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
The user's perception of the interaction language: A two-level model
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
T-Clipse: an integrated development environment for two-level grammar
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Formal specification of natural language syntax using two-level grammar
COLING '86 Proceedings of the 11th coference on Computational linguistics
Encyclopedia of Computer Science
Task-action grammars: a model of the mental representation of task languages
Human-Computer Interaction
Hi-index | 0.00 |