The following pages link to Torben Amtoft (Q859951):
Displayed 19 items.
- A logic for information flow analysis with an application to forward slicing of simple imperative programs (Q859953) (← links)
- Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Partial memoization for obtaining linear time behavior of a 2DPDA (Q1193887) (← links)
- An alternative characterization of weak order dependence (Q1675759) (← links)
- Behavior analysis for validating communication patterns (Q1856180) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- (Q2763674) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow (Q2894335) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (Q3558215) (← links)
- Type and behaviour reconstruction for higher-order concurrent programs (Q4358460) (← links)
- (Q4414737) (← links)
- (Q4518876) (← links)
- (Q4673435) (← links)
- Programming Languages and Systems (Q5316585) (← links)
- A logic for information flow in object-oriented programs (Q5348916) (← links)
- Static Analysis (Q5466553) (← links)