Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to t...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Dowek, Gilles (Συγγραφέας), Lévy, Jean-Jacques (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London : Imprint: Springer, 2011.
Σειρά:	Undergraduate Topics in Computer Science,
Θέματα:	Computer science. Computers. Computer logic. Computer Science. Theory of Computation. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Principles of Programming Languages
ανά: Dowek, Gilles
Έκδοση: (2009)

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Έκδοση: (2012)

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
ανά: Bowman, Howard, κ.ά.
Έκδοση: (2006)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
Έκδοση: (2006)

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
ανά: Kurki-Suonio, Reino
Έκδοση: (2005)

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
ανά: Caromel, Denis, κ.ά.
Έκδοση: (2005)

Theoretical Introduction to Programming
ανά: Mills, Bruce
Έκδοση: (2006)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Έκδοση: (2007)

Proofs and Algorithms An Introduction to Logic and Computability /
ανά: Dowek, Gilles
Έκδοση: (2011)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
Έκδοση: (2004)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Έκδοση: (2009)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
Έκδοση: (2005)

Logics of Specification Languages
Έκδοση: (2008)

Variations on Constants Flow Analysis of Sequential and Parallel Programs /
ανά: Müller-Olm, Markus
Έκδοση: (2006)

Programming Languages An Active Learning Approach /
ανά: Lee, Kent
Έκδοση: (2008)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
Έκδοση: (2011)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Έκδοση: (2009)

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
Έκδοση: (2008)

Finite Model Theory and Its Applications
ανά: Grädel, Erich, κ.ά.
Έκδοση: (2007)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2006)

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Έκδοση: (2009)

Programming Languages and Operational Semantics A Concise Overview /
ανά: Fernández, Maribel
Έκδοση: (2014)

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Έκδοση: (2010)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Έκδοση: (2009)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings /
Έκδοση: (2005)

Drawing Programs: The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom, κ.ά.
Έκδοση: (2010)

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Έκδοση: (2014)

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Έκδοση: (2012)

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Έκδοση: (2013)

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
Έκδοση: (2016)

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Έκδοση: (2008)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
Έκδοση: (2010)

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /
Έκδοση: (2007)

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
Έκδοση: (2016)

Handbook of Weighted Automata
Έκδοση: (2009)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Έκδοση: (2008)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Έκδοση: (2009)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Έκδοση: (2009)

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών