1914 search results - page 160 / 383 » Verification by Abstract Interpretation |
101
click to vote
USENIX
1990
15 years 1 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
110
Voted
ENDM
2010
15 years 26 days ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
110
Voted
ENTCS
2006
15 years 24 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
120
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
92
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...