For all your dictionary needs!
Tip. You can look up words, expressions, names, titles...

Abstract interpretation


Abstract interpretation: In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics without performing all the calculations.

  • also known as 抽象释义

Printed dictionaries and other books with definitions for Abstract interpretation

Click on a title to look inside that book (if available):

Google previewTrends in Functional Programming (2013)

14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers by Jay McCarthy

Abstract interpretation is an efficient means for approximating program behaviors before run-time.

Abstract Interpretation An abstract interpretation is a non- deterministic interpretation of a program that determines abstract flow-sets, each ...

Google previewFunctional Programming Languages and Computer Architecture (1991)

5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings by John Hughes

Introduction Abstract interpretation is a well-established technique for static analysis of programs. Its virtue is its strong connection with denotational semantics which provides a means of proving the analysis correct. Its vice is that the process ...

Google previewLive Data Structures in Logic Programs (1993)

Derivation by Means of Abstract Interpretation by Anne Mulkers

Often, program analysis can be viewed as executing the program over a symbolic or abstract domain of data descriptions, instead of over the normal concrete data domain, and therefore it is called abstract interpretation. To mimic the concrete ...

Google previewDatabase Theory - ICDT '97 (1997)

6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings by Foto N. Afrati, Phokion Kolaitis

Abstract interpretation is a well-understood, semantics-based method for static analysis. Its advantage, apart from generality, lies in the separation of concerns: Once the underlying semantics has been captured formally, a variety of analyses ...

Google previewStatic Analysis (2003)

6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings by Agostino Cortesi, Gilberto File

Abstract interpretation is a powerful technique for analysing programs by stepwise development. One starts with an overly precise and costly analysis and then develops more approximate and less costly analyses by carefully choosing ...

Google previewPrinciples and Practice of Constraint Programming - CP 2007 (2007)

13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings by Christian Bessiere

Abstract Interpretation is a framework introduced in [6] for inferring program properties. Intuitively, this technique consists in executing a program with abstract values instead of concrete values. The abstractions used ...

Google previewFormal Methods in Programming and Their Applications (1993)

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings by Dines Bjorner, Manfred Broy, Igor V. Pottosin

Abstract interpretation is a formal method that enables the static and automatic determination of run-time properties of programs. This method uses a characterization of program invariants as least and greatest fixed points of continuous ...

Google previewConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)

Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctness proof is machine checked for realistic languages To deal with ...

Google previewProgramming Languages Implementation and Logic Programming (1989)

International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings by Pierre Deransart, Bernard Lorho, Jan Maluszynski

An abstract interpretation is an interpretation which is not (necessarily) a representation. An abstract interpretation may clash canonically distinct terms and may thus serve as a device for classification of terms. Example 1. The following ...

Google previewDictionary of Computer Science, Engineering and Technology (2000)

by Philip A. Laplante

abstract interpretation entirely deducible from the specification of its methods, and not require understanding the details of its implementation. Instances of the type are created and inspected only by using calls to the access functions.

Google previewDictionary of Information Science and Technology (2012)

by Mehdi Khosrowpour

Abstract Interpretation: a theory of semantics approximation for computing conservative over-approximations of dynamic properties of programs (Cortesi & Logozzo, 2012) Abstract System: an abstraction ...

Google previewThe Encyclopedia of American Law (2009)

by David Andrew Schultz

Cardozo was instrumental in leading the Court toward a more pragmatic, less abstract interpretation of the nature of federalism, away from the system of mutually exclusive rights and powers that had defined the relationships between the ...

Google previewEncyclopedia of Library and Information Science (2000)

Volume 68 - (Supplement 31) by Allen Kent

is invariant with an abstract interpretation process. This approach was advanced independently in the 1960s by Chaitin and also by Kolmogorov and Solomonoff. It has evolved ...

Google previewEncyclopedia of Microcomputers (2001)

Volume 27: Supplement 6 by Allen Kent, James G. Williams

Hankin, Abstract Interpretation of Declarative Languages, Ellis Hor- wood Ltd, London, 1987. 118. N. D. Jones, C. K. Gomard. and P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall, Englewood ...

Google previewThe Illustrated Encyclopedia of Confucianism: A-M (2005)

by Rodney Leon Taylor, Howard Yuen Fung Choy

Defining the k'ao-cheng hsiieh as empirical learning countered the Sung- Ming abstract interpretation and conceptualization of classical Confucian teachings. It was a reaction against the influence of Buddhism and Taoism on Confucianism.

Google previewThe Encyclopedia of Physics (2013)

by Robert Besancon

Abstract interpretation of V as a complex probability amplitude was first adopted, tentatively, leading to the following basic rule: When a system is in a state represented by the wave function V, then measurements of any observable attribute of ...

Google previewEncyclopaedia of Mathematics (2012)

Supplement by Michiel Hazewinkel

Abstract interpretation then amounts to define an analysis l1 =% l2 on the properties of L such that the following correctness statement holds: l1 =% l2 !) Hs : y(li) = p s As C. Y(l2) This may be illustrated by the diagram S1 => 82 . l, = 12 which ...

Online dictionaries and encyclopedias with entries for Abstract interpretation

Click on a label to prioritize search results according to that topic:

Share this page

Privacy Policy | Cookies Policy
Keyword Tool | Romanian-English Dictionary