Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Amtoft, Torben - Department of Computing and Information Sciences, Kansas State University
Strictness Types: An Inference Algorithm and an Application
Properties of Unfoldingbased Metalevel Systems Torben Amtoft
Sharing of Computations Torben Amtoft
Partial Evaluation for Constraint-Based Program Analyses
Unfold/fold Transformations Preserving Termination Properties
Rewriting, and their A Causal Type System for Ambient
Flow-sensitive Type Systems and the Ambient Torben Amtoft
Sharing of Computations Torben Amtoft
Causal Type System for Ambient Movements # Torben Amtoft ##
Local Type Reconstruction by means of Symbolic Fixed Point Iteration
thunkification Torben thunkification
Minimal thunkification Torben Amtoft
Slicing Modern Program Structures While
Flow-sensitive Type Systems and the Ambient Torben Amtoft 2
Causal Type System for Ambient Movements Torben Amtoft
Local Type Reconstruction by means of Symbolic Fixed Point Iteration
Minimal Thunkification Torben Amtoft
Unfold/fold Transformations Preserving Termination Properties
Properties of Unfolding-based Meta-level Systems Torben Amtoft
Causal Type System for Ambient Movements Torben Amtoft
Minimal Thunkification Torben Amtoft # ##
Strictness Types: An Inference Algorithm and an Application
Partial Evaluation for ConstraintBased Program Analyses
Correctness of Practical Slicing for Modern Program Structures Torben Amtoft
Slicing for Modern Program Structures: a Theory for Eliminating Irrelevant Loops 1
