4211 search results - page 140 / 843 » Types as Abstract Interpretations |
136
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
135
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
133
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
113
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
117
click to vote
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...