Author Walid Taha
From CERES
A list of all pages that have property "Author" with value "Walid Taha"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report +
- Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) +
- Publications:A First Course on Cyber Physical Systems +
- Publications:A Gentle Introduction to Multi-stage Programming, Part II +
- Publications:A Methodology for Generating Verified Combinatorial Circuits +
- Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
- Publications:A New Approach to Data Mining for Software Design +
- Publications:A Semantic Analysis of C++ Templates +
- Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial +
- Publications:Accurate Programming : Thinking about programs in terms of properties +
- Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming +
- Publications:Concoqtion : Indexed Types Now! +
- Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ +
- Publications:DSLs Should be Online Applications +
- Publications:Dependable Automotive Systems based on Model Certified Components +
- Publications:Directions in Functional Programming for Real(-Time) Applications +
- Publications:Domain-Specific Languages +
- Publications:E-FRP with Priorities +
- Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point +
- Publications:Environment Classifiers +
