Semantic Scholar uses AI to extract papers important to this topic.
The paper presents SQLT-Web, a Web-enabled intelligent tutoring system for the SQL database language. SQLT-Web is a Web-enabled… Expand We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by… Expand ACL2 is a reimplemented extended version of R.S. Boyer and J.S. Moore's (1979; 1988) Nqthm and M. Kaufmann's (1988) Pc-Nqthm… Expand This article explores the potential impact of collaboratories on psychology. A collaboratory is a computer-supported system that… Expand 1. Introduction. 2. Welcome to Lisp. 3. Lists. 4. Specialized Data Structures. 5. Control. 6. Functions. 7. Input and Output. 8… Expand A World−Wide Web (WWW) server was implemented in Common LISP in order to facilitate exploratory programming in the global… Expand 1. The Extensible Language. 2. Functions. 3. Functional Programming. 4. Utility Functions. 5. Returning Functions. 6. Functions… Expand Abstract The syntactic theories of control and state are conservative extensions of the λ υ -calculus for equational reasoning… Expand IntroductionThe Common Lisp Object System is an object-oriented extension toCommon Lisp as defined in Common Lisp: The Language… Expand Many of the ideas behind object-oriented programming have roots going back to SIMULA. The first substantial interactive, display… Expand