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

Abstract interpretation

Explanation

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 previewFormal Methods and Software Engineering (2011)

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings by Shengchao Qin, Zongyan Qiu

Abstract Interpretation Abstract interpretation is a theory to define and soundly approximate the se- mantics of a program [4,5], focusing on some runtime properties of interest.

Google previewLogic and Theory of Algorithms (2008)

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings by Arnold Beckmann

for commands because of the ease in which the certificate for a composite command 3 Abstract interpretation is a well-developed theoretical framework, ...

Google previewAlgebraic and Logic Programming (1994)

4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings by Giorgio Levi, Mario Rodriguez-Artalejo

Abstract Basic Conditional Narrowing Abstract interpretation is a theory of semantic approximation which is used to provide statically sound answers to some questions about the run-time behaviour of programs [8]. The 'concrete' data and ...

Google previewPath-Oriented Program Analysis (2007)

by J. C. Huang

Abstract interpretation is a theory of sound approximation of the semanticsofcomputerprograms.Asaptlyexplainedinthelecturenoteof PatrickCousot at MIT, theconcretemathematical semanticsof aprogram is an infinite mathematical object that is ...

Google previewPrograms as Data Objects (2003)

Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings by Olivier Danvy, Andrzej Filinski

While abstract interpretation is a very general framework, we will be interested here only in discovering numerical invariants, that is to say, arithmetic relations that hold between numerical variables in a program. Such invariants are useful for ...

Google previewSecure Programming with Static Analysis (2007)

by Brian Chess, Jacob West

Abstract interpretation is a general technique formalized by Cousot and Cousot for abstracting away aspects of the program that are not relevant to the properties of interest and then performing an interpretation ...

Google previewInnovative Computing Technology (2012)

First International Conference, INCT 2011, Tehran, Iran, December 13-15, 2011, Proceedings by Pit Pichappan, Hojat Ahmadi, Ezendu Ariwa

Abstract interpretation is a theoretical framework for static analysis [4]. The most precise imaginable abstract interpretation is called the static semantics or accumulating semantics. In contrast to static analysis, dynamic invariant detection tools ...

Google previewAutomated Technology for Verification and Analysis (2011)

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings by Tevfik Bultan, Pao-Ann Hsiung

Abstract Interpretation is a framework for solving verification problems expressed by semantic equations on a (concrete) lattice. Typically, it is used to compute an overapproximation of the reachable states of a program. The computation is ...

Google previewTrustworthy Global Computing (2010)

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers by Martin Wirsing

Abstract interpretation [9] is a general framework that has been used for automatically analyzing programs, and more globally for reasoning about program analysis and verification methods. Abstract interpretation is a natural setting to model ...

Google previewMachine Learning and Knowledge Discovery in Databases (2010)

European Conference, ECML PKDD 2010, Barcelona, Spain, September 20-24, 2010. Proceedings by José L. Balcázar, Francesco Bonchi, Aristides Gionis, Michele Sebag

abstract interpretation is that of upper approximation: to provide an abstraction ofacomplex behavior with less details. A property about a system such as an invariant is in some way an abstraction: it represents all the states of the system that ...

Google previewVerification, Model Checking, and Abstract Interpretation (2008)

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings by Neil Jones, Markus Müller-Olm

The result of a non- deterministic abstract interpretation is an abstractlocative-labeled transition graph between ...

Google previewProgramming Languages and Systems (2012)

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings by Ranjit Jhala, Atsushi Igarashi

Abstract interpretation is a framework to define and prove the soundness of approximations. The concrete domain formalizes the information we want to approximate, while the abstract domain specifies which ...

Google previewLogic Based Program Synthesis and Transformation (2001)

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers by Kung-Kiu Lau

By using the notion Moore-Penrose pseudo-inverse, we can now define a probabilistic abstract interpretation as follows: Definition 5. Let C an D be two probabilistic domains. A probabilistic abstract interpretation is a pair of linear maps, α : C→ ...

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 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 Colored Pencil Techniques (1997)

by Judy Martin

Linear marks • Mixing pencils • Shading V DAVID HOLMES "Landscape" In an abstract interpretation, mere hints of color can be selected and emphasized to provide a dramatic contrast. The boldness of the red-blue opposition matches the ...

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