ISBNs for programming language semantics

ISBN.nu

search for books and compare prices

programming language semantics matches 102 work(s)

at beginning | displaying 1 to 25 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

ABC Programmer's Handbook

Product Description: Book by Leo Geurts, Lambert Meertens, Steven Pemberton

By Leo Guerts, Lambert Meertens and Steven Pemberton

See complete details on each edition (1 edition listed)

Paperback:

9780130000279 | Prentice Hall, February 1, 1991, cover price $34.20 | About this edition: Book by Leo Geurts, Lambert Meertens, Steven Pemberton

Abstract Interpretation of Declarative Languages

By Samson Abramsky and Chris Hankin (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780130192585 | Ellis Horwood Ltd, January 1, 1988, cover price $78.95

Action Semantics

By Peter D. Mosses

See complete details on each edition (2 editions listed)

Hardcover:

9780521403474 | Cambridge Univ Pr, September 1, 1992, cover price $115.99

Paperback:

9780521619332 | Cambridge Univ Pr, February 28, 2005, cover price $94.99

Advances in Conceptual Modeling - Theory and Practice: Er 2006 Workshops Bp-uml, Comogis, Coss, Ecdm, Ois, Qois, Semwat, Tucson, Az, USA, November 6-9, 2006, Proceedings

By Richard Benjamins (editor), Roger Chiang (editor), Ramez Elmasri (editor), John F. Roddick (editor) and Samira Si-said Cherfi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540477037 | Springer-Verlag New York Inc, February 28, 2008, cover price $129.00

Algebraic Approaches to Program Semantics

By Michael A. Arbib and Ernest G. Manes

See complete details on each edition (2 editions listed)

Hardcover:

9780387963242 | Springer Verlag, August 1, 1986, cover price $99.00

Paperback:

9781461293774 | Springer-Verlag New York Inc, January 17, 2014, cover price $99.00

Algebraic Semantics of Imperative Programs

Product Description: 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...read more

By Joseph A. Goguen and Grant Malcolm

See complete details on each edition (1 edition listed)

Hardcover:

9780262071727 | Mit Pr, May 22, 1996, cover price $10.75 | About this edition: Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs.

Applied Semantics: Advanced Lectures

Product Description: This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduate-level lectures...read more

By Appsem 200 (other contributor) and Gilles Barthe (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540440444 | Springer Verlag, October 1, 2002, cover price $139.00 | About this edition: This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000.

Attribute Grammars and Their Applications: International Conference Waga Paris, France, September 19-21, 1990 :Proceedings

Product Description: Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas...read more

By P. Deransart and M. Jourdan (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387531014 | Springer Verlag, December 1, 1990, cover price $59.95 | About this edition: Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially.

Attribute Grammars, Applications and Systems: International Summer School Saga Prague, Czechoslovakia, June 4-13, 1991 Proceedings

Product Description: Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base...read more

By H. Alblas and B. Melichar (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387545721 | Springer Verlag, December 1, 1991, cover price $85.00 | About this edition: Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages.

Axiomatic Domain Theory in Categories of Partial Maps

Product Description: Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i...read more

By Marcelo P. Fiore

See complete details on each edition (2 editions listed)

Hardcover:

9780521571883 | Cambridge Univ Pr, July 1, 1996, cover price $148.99 | About this edition: Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them.

Paperback:

9780521602778 | Cambridge Univ Pr, March 25, 2004, cover price $64.99 | About this edition: Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them.

C Chest and Other C Treasures from Dr. Dobb's Journal

C Chest and Other C Treasures from Dr. Dobb's Journal

By Allen Holub (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780934375498 | Har/dsk edition (M & T Books, September 1, 1987), cover price $39.95

Paperback:

9780934375405 | M & T Books, August 1, 1987, cover price $24.95 | About this edition: C Chest and Other C Treasures from Dr.

Cobol: A Guide to Structured, Portable, Maintainable, and Efficient Program Design

By Eric Garrigue Vesely

See complete details on each edition (1 edition listed)

Hardcover:

9780138540500 | Prentice Hall, February 1, 1989, cover price $47.00

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

Product Description: During the last three decades several different styles of semantics for programÂ ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several examÂ ples we show how to define operational and denotational semantic models for programming languages...read more (view table of contents, read Amazon.com's description)

By Franck Van Breugel

See complete details on each edition (1 edition listed)

Hardcover:

9780817639273 | Birkhauser, June 1, 1998, cover price $169.00 | About this edition: During the last three decades several different styles of semantics for programÂ ming languages have been developed.

Compiling Natural Semantics

Product Description: Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications...read more (view table of contents, read Amazon.com's description)

By Mikael Pettersson

See complete details on each edition (1 edition listed)

Paperback:

9783540659686 | Springer Verlag, June 1, 1999, cover price $99.00 | About this edition: Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages.

Computation for Metaphors, Analogy, and Agents

(view table of contents)

By Chrystopher L. Nehaniv (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540659594 | Springer Verlag, June 1, 1999, cover price $109.00

The Computer As Medium

Product Description: Computers are developing into a powerful medium integrating film, pictures, text, and sound, and the use of computers for communication and information is rapidly expanding. The Computer as Medium brings insights from art, literature, and theater to bear on computers and discusses the communicative and organizational nature of computer networks within a historical perspective...read more (view table of contents, read Amazon.com's description)

By Peter Bogh Andersen (editor), Berit Holmqvist and Jens F. Jensen (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780521419956 | Cambridge Univ Pr, April 1, 1994, cover price $174.99 | About this edition: Computers are developing into a powerful medium integrating film, pictures, text, and sound, and the use of computers for communication and information is rapidly expanding.

Control Flow Semantics

Product Description: Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages. Whereas in more traditional approaches one focuses on input/output behavior, in this work equal attention is devoted to finite and infinite computations, the latter motivated by the growing importance of reactive systems...read more

By J. W. De Bakker and Erik De Vink

See complete details on each edition (1 edition listed)

Hardcover:

9780262041546 | Mit Pr, April 1, 1996, cover price $85.00 | About this edition: Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages.

Desarrollo web con PHP 5 y MySQL/Web Development With PHP 5 And MySQL

By Juan Diego Gutierrez Gallardo

See complete details on each edition (1 edition listed)

Paperback:

9788441517745 | Anaya Multimedia-Anaya Interactiva, June 30, 2004, cover price $22.95

Domains and Lambda-Calculi

By Roberto M. Amadio and Pierre-Louis Curien

See complete details on each edition (2 editions listed)

Hardcover:

9780521622776 | Cambridge Univ Pr, August 1, 1998, cover price $199.99

Paperback:

9780521062923 | 1 edition (Cambridge Univ Pr, May 15, 2008), cover price $109.99

Domains and Processes: Proceedings of the 1st International Symposium Ondomain Theory Shanghai, China, October 1999

Product Description: Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999...read more

By International Symposium on Domain Theory (other contributor), Ying-Ming Liu (editor) and Guo-Qiang Zhang (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780792371434 | Kluwer Academic Pub, December 1, 2001, cover price $219.00 | About this edition: Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics.

Domains for Denotational Semantics

By G. M. Reed and A. W. Roscoe

See complete details on each edition (1 edition listed)

Hardcover:

9780132190237 | Prentice Hall, April 1, 1998, cover price $34.00

Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems

By Marsaru Tomita

See complete details on each edition (1 edition listed)

Hardcover:

9780898382020 | Kluwer Academic Pub, February 1, 1986, cover price $159.00

Exploring Logical Dynamics

Product Description: This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these...read more (view table of contents, read Amazon.com's description)

By Johan Van Benthem

See complete details on each edition (2 editions listed)

Hardcover:

9781575860596 | Stanford Univ Center for the Study, June 1, 1996, cover price $64.95 | About this edition: This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics.

Paperback:

9781575860589 | Stanford Univ Center for the Study, June 1, 1996, cover price $28.00 | About this edition: This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics.

Exploring the Web: Visualizing Semantics, Services, And Applications

By Dov Dori

See complete details on each edition (1 edition listed)

Paperback:

9780387218915 | Springer-Verlag New York Inc, October 31, 2012, cover price $69.95

Fairness

By Nissim Francez

See complete details on each edition (2 editions listed)

Hardcover:

9780387962351 | Springer Verlag, September 1, 1986, cover price $99.00

Paperback:

9781461293477 | Springer-Verlag New York Inc, October 8, 2011, cover price $99.00

at beginning | displaying 1 to 25 | next 25 >