Filters








268,085 Hits in 10.8 sec

Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies

Bipin Indurkhya
1987 Cognitive Science  
For all these reasons one cannot always abstract a general theory of analogy embodied in a model.  ...  on how to make it computationally viable.  ... 
doi:10.1207/s15516709cog1104_3 fatcat:dphq75tacbhbbpkjenvu3vr74u

Approximate semantic transference: A computational theory of metaphors and analogies

B INDURKHYA
1987 Cognitive Science  
For all these reasons one cannot always abstract a general theory of analogy embodied in a model.  ...  on how to make it computationally viable.  ... 
doi:10.1016/s0364-0213(87)80016-2 fatcat:5ct3o6nfjfeebe3fquf6r2p4ym

Abstract interpretation

Patrick Cousot, Radhia Cousot
2014 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14  
as a parameter, either that of the program to be analyzed or that of a programming language.  ...  We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics  ...  Our approach has been as follows: -We refrain from presenting the theory of abstract interpretation in the spe cific context of a particular semantics of a peculiar programming language.  ... 
doi:10.1145/2603088.2603165 dblp:conf/csl/CousotC14 fatcat:4vwvctw2bbbvhihzx6s3m6yaiy

Abstract interpretation

Patrick Cousot
1996 ACM Computing Surveys  
as a parameter, either that of the program to be analyzed or that of a programming language.  ...  We review how the dependence upon semantics has been taken into account in abstract interpretation based program analysis and next propose to design general purpose abstract interpreters taking semantics  ...  Our approach has been as follows: -We refrain from presenting the theory of abstract interpretation in the spe cific context of a particular semantics of a peculiar programming language.  ... 
doi:10.1145/234528.234740 fatcat:7sf2zvjdfrcnxmggblh7bgs6mm

A theory of NP-completeness and ill-conditioning for approximate real computations [article]

Gregorio Malajovich, Mike Shub
2019 arXiv   pre-print
We develop a complexity theory for approximate real computations. We first produce a theory for exact computations but with condition numbers.  ...  We prove that P is not NP in this theory if and only if P is not NP in the BSS theory over the reals. Then we develop a theory with weak and strong approximate computations.  ...  In modern programming this sort of routine is called an abstract method while in traditional computer science it is called an oracle.  ... 
arXiv:1803.03600v2 fatcat:b546fzrhdndafdbqppwacbzw2a

Combining abstract interpreters

Sumit Gulwani, Ashish Tiwari
2006 Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06  
We present a methodology for automatically combining abstract interpreters over given lattices to construct an abstract interpreter for the combination of those lattices.  ...  We also present an interesting application of logical product wherein some lattices can be reduced to combination of other (unrelated) lattices with known abstract interpreters. • Theory of sign.  ...  Acknowledgments We thank the anonymous reviewers of this paper for their useful and insightful comments.  ... 
doi:10.1145/1133981.1134026 dblp:conf/pldi/GulwaniT06 fatcat:y5zkvl77dfasxosmfz4hucjjva

Combining abstract interpreters

Sumit Gulwani, Ashish Tiwari
2006 SIGPLAN notices  
We present a methodology for automatically combining abstract interpreters over given lattices to construct an abstract interpreter for the combination of those lattices.  ...  We also present an interesting application of logical product wherein some lattices can be reduced to combination of other (unrelated) lattices with known abstract interpreters. • Theory of sign.  ...  Acknowledgments We thank the anonymous reviewers of this paper for their useful and insightful comments.  ... 
doi:10.1145/1133255.1134026 fatcat:grdxypzkbncwtk2djze4feo23a

Abstract Interpretation-Based Protection [chapter]

Roberto Giacobazzi
2010 Lecture Notes in Computer Science  
computations with abstract ones -some sort of perfect semantic compressibility around a given property.  ...  In this tutorial we show that abstract interpretation can be used as an adequate model for developing a unifying theory for information hiding in software, by modeling observers (i.e., malicious host attackers  ...  concrete computations with abstract ones -some sort of perfect semantic compressibility around a given property.  ... 
doi:10.1007/978-3-642-11319-2_4 fatcat:ecyxmhfuujbl7ovgtg6ntdtb54

Reversing abstract interpretations [chapter]

John Hughes, John Launchbury
1992 Lecture Notes in Computer Science  
Abstract Interpretation of Declarative Languages  ...  In this paper we explore the significance of the direction of analysis, and show how arbitrary abstract interpretations may be reversed. (Ellis Horwood, Chichester, England, 1987). [ 1 J ] P.  ...  Their double reversals are of Computer Programming 22(1994) to operate on functions, we can write the abstract interpretation of a conditional as p D (f U g ) .How can we reverse this abstract function  ... 
doi:10.1007/3-540-55253-7_16 fatcat:vmrwmpkax5aejpn5uquyan3i5y

Reversing abstract interpretations

John Hughes, John Launchbury
1994 Science of Computer Programming  
Abstract Interpretation of Declarative Languages  ...  In this paper we explore the significance of the direction of analysis, and show how arbitrary abstract interpretations may be reversed. (Ellis Horwood, Chichester, England, 1987). [ 1 J ] P.  ...  Their double reversals are of Computer Programming 22(1994) to operate on functions, we can write the abstract interpretation of a conditional as p D (f U g ) .How can we reverse this abstract function  ... 
doi:10.1016/0167-6423(94)00008-5 fatcat:kksxz4b4ofahlb63vh5wigkgnq

Automating Abstract Interpretation [chapter]

Thomas Reps, Aditya Thakur
2015 Lecture Notes in Computer Science  
This paper describes a twenty-year quest by the first author to address this issue by raising the level of automation in abstract interpretation.  ...  interpretation has a reputation of being a kind of "black art," and consequently difficult to work with.  ...  Wilhelm, a long list of their former students, as well as his own former students A. Loginov and D.  ... 
doi:10.1007/978-3-662-49122-5_1 fatcat:ox4jxxxeprgidcvimvltq4svq4

Abstract Interpretation: Theory and Practice [chapter]

Patrick Cousot
2002 Lecture Notes in Computer Science  
Abstract interpretation theory formalizes the conservative approximation of the semantics of hardware and software computer systems.  ...  Abstract interpretation theory provides thinking tools since the idea of abstraction by conservative approximation is central to reasoning (in particular on computer systems) and mechanical tools since  ...  Abstract interpretation provides a general theory behind all programs analyzers, which only differ in their choice of considered programming languages (e.g. imperative [16, 17] , parallel [18, 19] ,  ... 
doi:10.1007/3-540-46017-9_2 fatcat:fnqj3mazc5b23ifmiiix3hig4q

Abstract Interpretation Frameworks

PATRICK COUSOT, RADHIA COUSOT
1992 Journal of Logic and Computation  
This corresponds to a perfect situation, where each concrete property has a unique best abstract approximation.  ...  Furthermore we study various notions of widening and narrowing as a means of obtaining convergence in the iterations used in abstract interpretation.  ...  We would like to thank Alan Mycroft for numerous judicial and useful comments on a first draft of this paper as well as the anonymous referees for their constructive suggestions for improvement.  ... 
doi:10.1093/logcom/2.4.511 fatcat:txa7gamtivf3ld6f3taywf7xnu

Probabilistic Abstract Interpretation [chapter]

Patrick Cousot, Michael Monerau
2012 Lecture Notes in Computer Science  
interpretation has been widely used for verifying properties of computer systems. Here, we present a way to extend this framework to the case of probabilistic systems.  ...  We define the concrete probabilistic semantics and propose different ways to abstract them. We provide examples illustrating the expressiveness and effectiveness of our approach.  ...  One of our objectives is to unify and generalize these frameworks. The Abstract Interpretation Framework Abstract interpretation is a theory of approximation.  ... 
doi:10.1007/978-3-642-28869-2_9 fatcat:smsug4danvdjpo3xsg3zm73nui

History of Abstract Interpretation

Roberto Giacobazzi, Francesco Ranzato
2021 IEEE Annals of the History of Computing  
We trace the roots of abstract interpretation and its role as a foundational principle to understand and design static program analysis and verification methods.  ...  Starting from the historical roots of formal methods and static program analysis, we show how abstract interpretation evolved and influenced the way we reason about program correctness in different programming  ...  We are much indebted to and have been inspired from Patrick Cousot's talk "Abstract Interpretation: 40 years back + some years ahead" at the Next 40 years of Abstract Interpretation (N40AI) Workshop held  ... 
doi:10.1109/mahc.2021.3133136 fatcat:aydiutus65g6jppcic53whu3wq
« Previous Showing results 1 — 15 out of 268,085 results