The following pages link to Walid Taha (Q254164):
Displaying 18 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Synthesizable high level hardware descriptions (Q609757) (← links)
- (Q1583361) (redirect page) (← links)
- MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- (Q2754131) (← links)
- Function Interval Arithmetic (Q2879194) (← links)
- Reasoning about Multi-stage Programs (Q2892738) (← links)
- Environment classifiers (Q2942909) (← links)
- Tagless staged interpreters for typed languages (Q2949208) (← links)
- Exploring the Design Space of Higher-Order Casts (Q3617687) (← links)
- (Q4473723) (← links)
- Sound Over-Approximation of Probabilities (Q5126106) (← links)
- Macros as multi-stage computations (Q5177999) (← links)
- Real-time FRP (Q5178005) (← links)
- Programming Languages and Systems (Q5308690) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
