2451 search results - page 51 / 491 » The Octagon Abstract Domain |
144
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
161
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
143
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
144
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
145
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...