89 search results - page 12 / 18 » Abstract Interpretation Based Static Analysis Parameterized ... |
136
Voted
SYNTHESE
2011
14 years 10 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
142
click to vote
TREC
2003
15 years 4 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
143
click to vote
CJ
2010
15 years 25 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
141
Voted
FPCA
1989
15 years 7 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...