2604 search results - page 242 / 521 » General constant expressions for system programming language... |
135
click to vote
PEPM
2010
ACM
16 years 29 days ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
103
click to vote
ASAP
1996
IEEE
15 years 8 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
144
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
129
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
144
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...