Sciweavers

1914 search results - page 298 / 383
» Verification by Abstract Interpretation
Sort
View
DEXA
2004
Springer
70views Database» more  DEXA 2004»
14 years 4 months ago
How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
Mara Abel, Laura S. Mastella, Luís A. Lima ...
MMMACNS
2001
Springer
14 years 3 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
AGENTCL
2000
Springer
14 years 3 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
ICFP
1998
ACM
14 years 3 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
ASIAN
2006
Springer
152views Algorithms» more  ASIAN 2006»
14 years 2 months ago
Inferring Disjunctive Postconditions
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
Corneliu Popeea, Wei-Ngan Chin