611 search results - page 68 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
134
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
135
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
127
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
259
Voted
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
136
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...