10666 search results - page 1422 / 2134 » Quantum programming languages |
189
Voted
CONIELECOMP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
188
Voted
CCS
2005
ACM
16 years 25 days ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
172
click to vote
PPDP
2005
Springer
16 years 23 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
195
click to vote
ECOOP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
183
Voted
ESOP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...