Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Bibliographic Details
Published in:	Springer e-books
Main Author:	Nielson, Hanne Riis
Corporate Author:	SpringerLink (Online service)
Other Authors:	Nielson, Flemming
Format:	eBook
Language:	English
Published:	London : Springer-Verlag London Limited, 2007.
Series:	Undergraduate Topics in Computer Science
Subjects:	Computer Science Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters
Online Access:	http://dx.doi.org/10.1007/978-1-84628-692-6 Перейти в каталог НБ ТГУ

Similar Items

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

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
by: Nielson, Hanne Riis
Published: (2007)

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

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

Implementation and Application of Functional Languages (vol. # 4015) 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
by: Butterfield, Andrew
Published: (2006)

Implementation and Application of Functional Languages (vol. # 3474) 16th International Workshop, IFL 2004, LГјbeck, Germany, September 8-10, 2004, Revised Selected Papers
by: Grelck, Clemens
Published: (2005)

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

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

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
by: Urzyczyn, Paweł
Published: (2005)

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

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 /
by: Bin, Eyal
Published: (2007)

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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
by: Dwyer, Matthew B.
Published: (2007)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
by: Bošnacki, Dragan
Published: (2007)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Published: (2013)

Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by: Banach, Richard
Published: (2005)

Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
by: Baresi, Luciano
Published: (2006)

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

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
by: Emerson, E. Allen
Published: (2006)

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

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
by: Godefroid, Patrick
Published: (2005)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

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

Model-Based Testing of Reactive Systems Advanced Lectures
by: Broy, Manfred
Published: (2005)

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Variations on Constants Flow Analysis of Sequential and Parallel Programs
by: Müller-Olm, Markus
Published: (2006)

Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
by: Valmari, Antti
Published: (2006)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
by: Liu, Zhiming
Published: (2006)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
by: Fiadeiro, José Luiz
Published: (2008)

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

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

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Published: (2014)

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
by: Hutchison, David
Published: (2008)

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
by: Meuter, Wolfgang
Published: (2007)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
by: Virbitskaite, Irina
Published: (2007)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
by: Hanus, Michael
Published: (2007)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
by: Davies, Jim
Published: (2007)

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)