Filter by
Algorithmic program debugging
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256967
- Collation
- 1 online resource (xiv, 232 pages).
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The art of the metaobject protocol
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, intr…
- Edition
- -
- ISBN/ISSN
- 0585358125
- Collation
- 1 online resource (viii, 335 pages)
- Series Title
- -
- Call Number
- -
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource (3 volumes) :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :illustrations
- Series Title
- -
- Call Number
- -
Japanese morphophonemics :markedness and word structure
The sound pattern of Japanese, with its characteristic pitch accent system and rich segmental alternations, has played an important role in modern phonology, from structuralist phonemics to current constraint-based theories. In Japanese Morphophonemics, Junko Ito and Armin Mester provide the first book-length treatment of central issues in Japanese phonology from the perspective of Optimality T…
- Edition
- -
- ISBN/ISSN
- 9780262276054
- Collation
- 1 online resource (xii, 303 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Language development and learning to read :the scientific study of how langua…
"A Bradford book.""In this seminal work, Bernard Siegan traces the history of constitutional protection for economic liberties in the United States. He argues that the law began to change with respect to economic liberties in the late 1930s. At that time, the Supreme Court abdicated much of its authority to protect property rights, and instead condoned the expansion of state power over private …
- Edition
- -
- ISBN/ISSN
- 9780262279505
- Collation
- 1 online resource (x, 494 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The languages of Edison's light
"Charles Bazerman tells the story of the emergence of electric light as a story of symbols and communication. He examines how Edison and his colleagues represented light and power to themselves and to others as the technology was transformed from an idea to a daily fact of life. He looks at the rhetoric used to create meaning and value for the emergent technology in the laboratory, in patent of…
- Edition
- -
- ISBN/ISSN
- 9780262267946
- Collation
- 1 online resource (416 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Learnability in optimality theory
AnnotationOCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0585354677
- Collation
- 1 online resource (vi, 140 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography