Programming Language Foundations

Stump, Aaron

Verlag: John Wiley & Sons, 2013
ISBN 10: 1118007476 / ISBN 13: 9781118007471
Neu / Anzahl: 1
Verkäufer English-Book-Service Mannheim (Mannheim, Deutschland)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Hier sehen Sie die besten Ergebnisse zur Suche nach Programming Language Foundations.

Beschreibung:

Buchnummer des Verkäufers TB9781118007471

Bibliografische Details

Titel: Programming Language Foundations
Verlag: John Wiley & Sons
Erscheinungsdatum: 2013

Zustand: New

Beste Suchergebnisse beim ZVAB

1.

Gunter, Carl A.:
Verlag: The M.I.T. Press, 14.09.1992. (1992)
ISBN 10: 0262570955 ISBN 13: 9780262570954
Gebraucht Softcover Anzahl: 1
Anbieter
Mosakowski & Stiasny GbR
(Florstadt, Deutschland)
Bewertung
[?]

Buchbeschreibung The M.I.T. Press, 14.09.1992., 1992. Buchzustand: Gut. 444 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 936 23,5 x 19,1 x 2,5 cm, Taschenbuch. Artikel-Nr. 383865

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 22,30
Währung umrechnen

In den Warenkorb

Versand: EUR 9,90
Von Deutschland nach USA
Versandziele, Kosten & Dauer

2.

Gunter, Carl A.
ISBN 10: 0262570955 ISBN 13: 9780262570954
Gebraucht Softcover Anzahl: 1
Anbieter
Kloof Booksellers & Scientia Verlag
(Amsterdam, Niederlande)
Bewertung
[?]

Buchbeschreibung Cambridge, MA:. The MIT Press, 1992. Paperback. 441 pp.- Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises. English text. Condition : as new. Condition : as new. ISBN 9780262570954[KEYWORDS: computer studies. Artikel-Nr. 263607

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 22,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,00
Von Niederlande nach USA
Versandziele, Kosten & Dauer

3.

Mitchell, John C. and Carl A. Gunter:
Verlag: Mit Press, 15.06.1994. (1994)
ISBN 10: 026207155X ISBN 13: 9780262071550
Gebraucht Anzahl: 1
Anbieter
Mosakowski & Stiasny GbR
(Florstadt, Deutschland)
Bewertung
[?]

Buchbeschreibung Mit Press, 15.06.1994., 1994. Buchzustand: Gut. Auflage: New.. 560 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1170 23,2 x 17,6 x 3,8 cm, Gebundene Ausgabe. Artikel-Nr. 368160

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 28,77
Währung umrechnen

In den Warenkorb

Versand: EUR 9,90
Von Deutschland nach USA
Versandziele, Kosten & Dauer

4.

Mitchell, John C. (Ed.)
ISBN 10: 026207155X ISBN 13: 9780262071550
Gebraucht Hardcover Anzahl: 1
Anbieter
Kloof Booksellers & Scientia Verlag
(Amsterdam, Niederlande)
Bewertung
[?]

Buchbeschreibung Cambridge, MA:. The MIT Press, 1994. Hardcover. 558 pp.- Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University. English text. Condition : as new. Condition : as new. ISBN 9780262071550[KEYWORDS: computer studies, Object-oriented programming. Artikel-Nr. 263683

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 27,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,00
Von Niederlande nach USA
Versandziele, Kosten & Dauer

5.

Kent D. Lee
Verlag: Springer-Verlag Gmbh Feb 2015 (2015)
ISBN 10: 3319133136 ISBN 13: 9783319133133
Neu Taschenbuch Anzahl: 1
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer-Verlag Gmbh Feb 2015, 2015. Taschenbuch. Buchzustand: Neu. 236x162x17 mm. Neuware - This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming. The focus of the text moves from highly prescriptive languages to very descriptive languages, demonstrating the many and varied ways in which we can think about programming. Designed for interactive learning both inside and outside of the classroom, each programming paradigm is highlighted through the implementation of a non-trivial programming language, demonstrating when each language may be appropriate for a given problem. Features: includes review questions and solved practice exercises, with supplementary code and support files available from an associated website; provides the foundations for understanding how the syntax of a language is formally defined by a grammar; examines assembly language programming using CoCo; introduces C++, Standard ML, and Prolog; describes the development of a type inference system for the language Small. 354 pp. Englisch. Artikel-Nr. 9783319133133

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 48,14
Währung umrechnen

In den Warenkorb

Versand: EUR 29,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer