4211 search results - page 236 / 843 » Types as Abstract Interpretations |
158
click to vote
ITP
2010
15 years 9 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
128
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
139
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
143
click to vote
MCU
2001
15 years 6 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
133
click to vote
TCS
1998
15 years 4 months ago
1998
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...