794 search results - page 123 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
161
Voted
NDSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
134
click to vote
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
125
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
122
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
140
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...