3342 search results - page 180 / 669 » Automating Abstract Interpretation |
CADE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
FOSSACS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
100
click to vote
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
CBMS
2006
IEEE
15 years 5 months ago
2006
IEEE
The Communications Engineering Branch of the National Library of Medicine is collaborating with the National Cancer Institute (NCI) in developing applications for medical educatio...
DOCENG
2003
ACM
15 years 4 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...