Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 50 from your keywords: subject="Programming Languages...
First Page Previous 1 2 3 4 5 Last Page
cover
Generating language-based environments
Comment Share
Reps, Thomas W.

"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…

Edition
-
ISBN/ISSN
0262256851
Collation
1 online resource (138 pages)
Series Title
-
Call Number
005 REP g
cover
The Formal Semantics of Programming Languages: An Introduction
Comment Share
WINSKEL, Glynn

"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…

Edition
-
ISBN/ISSN
9780262291453
Collation
1 online resource (xviii, 361 pages) :illustrations.
Series Title
-
Call Number
-
cover
Software studies : A Lexicon
Comment Share

This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.

Edition
-
ISBN/ISSN
-
Collation
1 online resource (xii, 334 pages) : illustrations.
Series Title
-
Call Number
-
cover
Logic Programming: The 14th International Conference
Comment Share
Lee Naish

"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.

Edition
1
ISBN/ISSN
9780262291354
Collation
-
Series Title
-
Call Number
-
cover
The Kantian Legacy in Nineteenth-Century Science The Kantian Legacy in Ninet…
Comment Share
Michael Friedman, Alfred Nordmann

"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.

Edition
1
ISBN/ISSN
9780262273268
Collation
-
Series Title
-
Call Number
-
cover
Logic Programming: The 12th International Conference
Comment Share
Leon S. Sterling

"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …

Edition
1
ISBN/ISSN
9780262291439
Collation
-
Series Title
-
Call Number
-
cover
Logic Programming: The 1997 International Symposium
Comment Share
Jan Maluszyński

The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and …

Edition
1
ISBN/ISSN
9780262291323
Collation
-
Series Title
-
Call Number
-
cover
Logic Programming: The 1995 International Symposium
Comment Share
John W. Lloyd

"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…

Edition
1
ISBN/ISSN
9780262291248
Collation
-
Series Title
-
Call Number
-
cover
Logic Programming: Proceedings of the Tenth International Conference on Logic…
Comment Share
David S. Warren

"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its va…

Edition
1
ISBN/ISSN
9780262291460
Collation
-
Series Title
-
Call Number
-
First Page Previous 1 2 3 4 5 Last Page