1712 search results - page 7 / 343 » Abstract Constraint Data Types |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
CORR
2010
Springer
14 years 9 months ago
2010
Springer
SCM
2003
15 years 3 hour ago
2003
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
ESOP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
50
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
