31686 search results - page 379 / 6338 » Resource typing in Guru |
199
click to vote
PPDP
2009
Springer
16 years 7 days ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
177
click to vote
SOFSEM
2009
Springer
16 years 7 days ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
201
click to vote
ECOOP
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
204
click to vote
ESOP
2001
Springer
16 years 6 days ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
179
click to vote
WCRE
2000
IEEE
16 years 2 days ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...