1712 search results - page 7 / 343 » Abstract Constraint Data Types |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2010
Springer
15 years 26 days ago
2010
Springer
98
Voted
SCM
2003
15 years 3 months 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...
128
Voted
ESOP
2004
Springer
15 years 8 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...
75
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
