Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 12 from your keywords: subject="Programming languages...
First Page Previous 1 2
cover
Algebraic semantics of imperative programs
Comment Share
Goguen, Joseph.Malcolm, Grant.

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
-
cover
LISP 1.5 programmer's manual :the Computation Center and Research Laboratory …
Comment Share
McCarthy, John.

Includes index.The manual describes LISP, a formal mathematical language. LISP differs from most programming languages in three important ways. The first way is in the nature of the data.The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other …

Edition
-
ISBN/ISSN
9780262287722
Collation
1 online resource (vi, 106 pages)
Series Title
-
Call Number
-
First Page Previous 1 2