479 search results - page 31 / 96 » On Static Properties of Specialized Programs |
108
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
101
Voted
TRUST
2010
Springer
14 years 11 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
112
click to vote
CORR
2010
Springer
15 years 24 days ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
139
click to vote
AGP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
103
click to vote
AFP
1995
Springer
15 years 4 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...