Learning with personal computers
Learning with personal computers
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Artificial intelligence and instruction: Applications and methods
Artificial intelligence and instruction: Applications and methods
Programming logics: an introduction to verification and semantics
Programming logics: an introduction to verification and semantics
X Toolkit intrinsics programming manual: second edition for X11, release 4
X Toolkit intrinsics programming manual: second edition for X11, release 4
Formal Specifications of Programming Language: A Panoramic Primer
Formal Specifications of Programming Language: A Panoramic Primer
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
GATutor: a graphical tutorial system for genetic algorithms
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
| Hi-index | 0.00 |