2451 search results - page 325 / 491 » The Octagon Abstract Domain |
233
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
148
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
137
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
129
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
146
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...