3342 search results - page 639 / 669 » Automating Abstract Interpretation |
184
click to vote
TPHOL
2009
IEEE
16 years 16 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
188
click to vote
TPHOL
2008
IEEE
16 years 8 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
153
click to vote
ECSQARU
2007
Springer
16 years 2 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
161
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
144
click to vote
GFKL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Existing methods to text plagiarism analysis mainly base on “chunking”, a process of grouping a text into meaningful units each of which gets encoded by an integer nu...