1237 search results - page 8 / 248 » Strictness and Totality Analysis |
SAC
2010
ACM
13 years 5 months ago
2010
ACM
PEPM
1993
ACM
13 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
PEPM
2010
ACM
14 years 4 months 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...
ICCS
2005
Springer
14 years 27 days ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...
SUM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...