Abstract Computing Machines A Lambda Calculus Perspective /

Abstract Computing Machines A Lambda Calculus Perspective /

Show other versions (1)

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking inste...

Full description

Bibliographic Details
Main Author:	Kluge, W. (Author)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Brauer, W. (Editor), Rozenberg, G. (Editor), Salomaa, A. (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:	Texts in Theoretical Computer Science, An EATCS Series
Subjects:	Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Online Access:	Full Text via HEAL-Link

Similar Items

Abstract Computing Machines A Lambda Calculus Perspective
by: Kluge, William S.
Published: (2005)

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
Published: (2008)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
Published: (2005)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Published: (2007)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
Published: (2008)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
Published: (2006)

Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Published: (2004)

Semantics with Applications: An Appetizer
by: Nielson, Hanne Riis, et al.
Published: (2007)

Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
Published: (2004)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Published: (2016)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
Published: (2005)

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
Published: (2007)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano
Published: (2009)

Concrete Semantics With Isabelle/HOL /
by: Nipkow, Tobias, et al.
Published: (2014)

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
Published: (2005)

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Published: (2007)

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Published: (2014)

Drawing Programs: The Theory and Practice of Schematic Functional Programming
by: Addis, Tom, et al.
Published: (2010)

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Published: (2006)

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
Published: (2013)

Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle, et al.
Published: (2005)

Pattern Calculus Computing with Functions and Structures /
by: Jay, Barry
Published: (2009)

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Published: (2011)

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Published: (2012)

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Published: (2009)

25 Years of Model Checking History, Achievements, Perspectives /
Published: (2008)

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
Published: (2005)

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers /
Published: (2016)

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Published: (2017)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Published: (2005)

Model-Based Testing of Reactive Systems Advanced Lectures /
Published: (2005)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Published: (2015)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Published: (2015)

Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
Published: (2004)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Published: (2014)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Published: (2007)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
Published: (2008)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Published: (2006)

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Published: (2011)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Published: (2009)

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