Principles of abstract interpretation /
| Main Author: | Cousot, Patrick, 1948- (Author) |
|---|---|
| Corporate Author: | ProQuest (Firm) |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, Massachusetts :
The MIT Press,
[2021]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)
by: Jenkins, Michael S.
Published: (1998)
Advanced concepts, methods, and applications in semantic computing /
Published: (2021)
Published: (2021)
Semantics in adaptive and personalized services : methods, tools and applications /
Published: (2010)
Published: (2010)
Ludics, dialogue and interaction : PRELUDE Project - 2006-2009 : revised selected papers /
Published: (2011)
Published: (2011)
Semantic search for novel information /
by: Farber, Michael
Published: (2017)
by: Farber, Michael
Published: (2017)
Affective computing and sentiment analysis : emotion, metaphor and terminology /
Published: (2011)
Published: (2011)
Java collections : an introduction to abstract data types, data structures, and algorithms /
by: Watt, David A. (David Anthony)
Published: (2001)
by: Watt, David A. (David Anthony)
Published: (2001)
Computational linguistics and talking robots : processing content in database semantics /
by: Hausser, Roland R.
Published: (2011)
by: Hausser, Roland R.
Published: (2011)
Legal ontology engineering : methodologies, modelling trends, and the ontology of professional judicial knowledge /
by: Casellas, Núria
Published: (2011)
by: Casellas, Núria
Published: (2011)
Semantic similarity from natural language and ontology analysis /
by: Harispe, Sébastien, et al.
Published: (2015)
by: Harispe, Sébastien, et al.
Published: (2015)
Adapting proofs-as-programs : the Curry-Howard protocol /
by: Poernomo, Iman Hafiz, 1976-
Published: (2005)
by: Poernomo, Iman Hafiz, 1976-
Published: (2005)
Context and semantics for knowledge management : technologies for personal productivity /
Published: (2011)
Published: (2011)
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday /
Published: (2011)
Published: (2011)
Semantic methods for execution-level business process modeling : modeling support through process verification and service composition /
by: Weber, Ingo M.
Published: (2009)
by: Weber, Ingo M.
Published: (2009)
E-librarian service : user-friendly semantic search in digital libraries /
by: Linckels, Serge
Published: (2011)
by: Linckels, Serge
Published: (2011)
Abstract data types : their specification, representation, and use /
by: Thomas, Pete (Peter G.)
Published: (1988)
by: Thomas, Pete (Peter G.)
Published: (1988)
Universal semantic communication /
by: Juba, Brendan
Published: (2011)
by: Juba, Brendan
Published: (2011)
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems /
by: Geurts, Frédéric
Published: (1998)
by: Geurts, Frédéric
Published: (1998)
Program correctness over abstract data types, with error-state semantics /
by: Tucker, J. V. (John V.), 1952-
Published: (1988)
by: Tucker, J. V. (John V.), 1952-
Published: (1988)
A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)
by: Uhl, J. (Jürgen)
Published: (1990)
Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)
by: Jenkins, Michael S.
Published: (1998)
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers /
Published: (2007)
Published: (2007)
Programming abstractions in C : a second course in computer science /
by: Roberts, Eric
Published: (1998)
by: Roberts, Eric
Published: (1998)
Multimedia semantics : metadata, analysis, and interaction /
by: Troncy, Raphael
Published: (2011)
by: Troncy, Raphael
Published: (2011)
Abstract data types in standard ML /
by: Harrison, Rachel, 1960-
Published: (1993)
by: Harrison, Rachel, 1960-
Published: (1993)
Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)
by: Mulkers, Anne, 1960-
Published: (1993)
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /
Published: (2006)
Published: (2006)
Abstract data types in Modula-2 /
by: Harrison, Rachel, 1960-
Published: (1989)
by: Harrison, Rachel, 1960-
Published: (1989)
Journal on data semantics XII /
Published: (2009)
Published: (2009)
Journal on data semantics XI /
Published: (2008)
Published: (2008)
Data structures with abstract data types and Pascal /
by: Stubbs, Daniel F., 1938-
Published: (1985)
by: Stubbs, Daniel F., 1938-
Published: (1985)
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /
Published: (2005)
Published: (2005)
Algebraic specification /
Published: (1989)
Published: (1989)
Qualified types : theory and practice /
by: Jones, Mark P.
Published: (1994)
by: Jones, Mark P.
Published: (1994)
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990 /
Published: (1991)
Published: (1991)
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 /
Published: (1988)
Published: (1988)
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers /
Published: (1996)
Published: (1996)
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers /
Published: (1993)
Published: (1993)
Journal on data semantics IX /
Published: (2007)
Published: (2007)
Journal on data semantics X /
Published: (2008)
Published: (2008)