2496 search results - page 393 / 500 » Error-detecting properties of languages |
106
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
113
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
123
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
160
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
131
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...