2451 search results - page 201 / 491 » The Octagon Abstract Domain |
187
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
243
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
169
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
215
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
195
click to vote
FOSSACS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...