1724 search results - page 92 / 345 » Abstract Interpreters for Free |
131
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
143
click to vote
PAM
2005
Springer
15 years 11 months ago
2005
Springer
This extended abstract present findings on measured TCP performance of a range of network stacks. We have found that there are significant differences between the TCP implementa...
135
click to vote
JFP
2008
15 years 5 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
150
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
156
click to vote
KBSE
2009
IEEE
16 years 7 days ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...