Searching for authors named "Torben Amtoft" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
CIS 301: Lecture Notes on Logic for Security
- …CIS 301: Lecture Notes on Logic for Security Torben Amtoft Department of Computing and Information…
- Add To MetaCart
-
{φ}
- …CIS 301: Lecture Notes on Program Verification Torben Amtoft Department of Computing…
- Add To MetaCart
-
{φ}
- …CIS 301: Lecture Notes on Program Verification Torben Amtoft Department of Computing…
- Add To MetaCart
-
Slicing for Modern Program Structures: a Theory for Eliminating Irrelevant Loops 1 Abstract
- …, wrt. data or wrt. control); Email address: tamtoft at ksu dot edu (Torben Amtoft). URL: http…
- Add To MetaCart
-
Minimal Thunkification
- …Minimal Thunkification Torben Amtoft ? ?? internet: tamtoft@(email omitted); Computer Science…
- Cited by 16 (1 self) – Add To MetaCart
-
Strictness Types: An Inference Algorithm and an Application
- …Strictness Types: An Inference Algorithm and an Application Torben Amtoft Computer Science…
- Cited by 3 (2 self) – Add To MetaCart
-
Local Type Reconstruction by means of Symbolic Fixed Point Iteration
- …Local Type Reconstruction by means of Symbolic Fixed Point Iteration Torben Amtoft internet…
- Cited by 2 (0 self) – Add To MetaCart
-
Causal Type System for Ambient Movements
- …Causal Type System for Ambient Movements ⋆ Torben Amtoft ⋆⋆ Heriot-Watt University tamtoft…
- Cited by 1 (1 self) – Add To MetaCart
-
Partial Evaluation for Constraint-Based Program Analyses
- … Research in Computer Science Partial Evaluation for Constraint-Based Program Analyses Torben Amtoft BRICS…
- Cited by 1 (0 self) – Add To MetaCart
-
Unfold/fold Transformations Preserving Termination Properties
- …Unfold/fold Transformations Preserving Termination Properties Torben Amtoft ? Computer Science…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
