4211 search results - page 128 / 843 » Types as Abstract Interpretations |
132
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
120
Voted
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
144
Voted
FORTEST
2008
15 years 5 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
105
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
125
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...