Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger & Pei-Hsin Ho (1993):
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.
Springer,
doi:10.1007/3-540-57318-6_30.
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar & Insup Lee (2000):
Modular Specification of Hybrid Systems in CHARON.
In: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control,
HSCC '00.
Springer-Verlag,
doi:10.1007/3-540-46430-1_5.
Stanley Bak, Sergiy Bogomolov, Thomas A Henzinger, Taylor T Johnson & Pradyot Prakash (2016):
Scalable static hybridization methods for analysis of nonlinear systems.
In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control.
ACM,
pp. 155–164,
doi:10.1145/2883817.2883837.
Stanley Bak, Sergiy Bogomolov & Taylor T Johnson (2015):
HYST: a source transformation and translation tool for hybrid automaton models.
In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control.
ACM,
pp. 128–133,
doi:10.1145/2728606.2728630.
Hsu Chen (2007):
Passive dynamic walking with knees: A point foot model.
Massachusetts Institute of Technology.
Xin Chen, Erika Ábrahám & Sriram Sankaranarayanan (2013):
Flow*: An analyzer for non-linear hybrid systems.
In: International Conference on Computer Aided Verification.
Springer,
pp. 258–263,
doi:10.1007/978-3-642-39799-8_18.
Niels H. Christensen & Robert Glück (2004):
Offline Partial Evaluation Can Be As Accurate As Online Partial Evaluation.
ACM Trans. Program. Lang. Syst. 26(1),
pp. 191–220,
doi:10.1145/963778.963784.
Steve Collins, Andy Ruina, Russ Tedrake & Martijn Wisse (2005):
Efficient bipedal robots based on passive-dynamic walkers.
Science 307(5712),
pp. 1082–1085,
doi:10.1126/science.1107799.
Charles Consel, Julia L Lawall & Anne-Françoise Le Meur (2004):
A tour of Tempo: A program specializer for the C language.
Science of Computer Programming 52(1),
pp. 341–370,
doi:10.1016/j.scico.2004.03.011.
Krzysztof Czarnecki, John T ODonnell, Jörg Striegnitz & Walid Taha (2004):
DSL implementation in MetaOCaml, Template Haskell, and C++.
In: Domain-Specific Program Generation.
Springer,
pp. 51–72,
doi:10.1007/978-3-540-25935-0_4.
Adam Duracz (2016):
Rigorous Simulation: Its Theory and Applications.
Halmstad University Press.
Goran Frehse (2005):
PHAVer: Algorithmic verification of hybrid systems past HyTech.
In: International workshop on hybrid systems: computation and control.
Springer,
pp. 258–273,
doi:10.1007/s10009-007-0062-x.
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011):
SpaceEx: Scalable verification of hybrid systems.
In: International Conference on Computer Aided Verification.
Springer,
pp. 379–395,
doi:10.1007/978-3-642-22110-1_30.
Sicun Gao, Soonho Kong & Edmund M Clarke (2013):
dReal: An SMT solver for nonlinear theories over the reals.
In: International Conference on Automated Deduction.
Springer,
pp. 208–214,
doi:10.1007/978-3-642-38574-2_14.
Arne J. Glenstrup, Henning Makholm & Jens P. Secher (1999):
C-MIX: Specialization of C Programs.
In: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School.
Springer-Verlag,
London, UK, UK,
pp. 108–154,
doi:10.1007/3-540-47018-2_4.
Available at http://dl.acm.org/citation.cfm?id=645795.665921.
Carsten K Gomard & Neil D Jones (1991):
A partial evaluator for the untyped lambda-calculus.
Journal of functional programming 1(01),
pp. 21–69,
doi:10.1017/S0956796800000058.
Thomas A Henzinger, Pei-Hsin Ho & Howard Wong-Toi (1997):
HyTech: A model checker for hybrid systems.
In: International Conference on Computer Aided Verification.
Springer,
pp. 460–463,
doi:10.1007/s100090050008.
Paul Hudak (1998):
Domain Specific Languages.
In: Handbook of Programming Languages, Vol. III: Little Languages and Tools, chapter 3.
MacMillan, Indianapolis,
pp. 39–60,
doi:10.1145/1925844.1922397.
Neil D Jones, Peter Sestoft & Harald Søndergaard (1985):
An experiment in partial evaluation: the generation of a compiler generator.
In: Rewriting techniques and applications.
Springer,
pp. 124–140,
doi:10.1007/3-540-15976-2_6.
Ik-Soon Kim, Kwangkeun Yi & Cristiano Calcagno (2006):
A Polymorphic Modal Type System for Lisp-like Multi-staged Languages.
SIGPLAN Not. 41(1),
pp. 257–268,
doi:10.1145/1111320.1111060.
Soonho Kong, Sicun Gao, Wei Chen & Edmund Clarke (2015):
dReach: δ-reachability analysis for hybrid systems.
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
Springer,
pp. 200–205,
doi:10.1007/978-3-662-46681-0_15.
Marjan Mernik, Jan Heering & Anthony M. Sloane (2005):
When and How to Develop Domain-specific Languages.
ACM Comput. Surv. 37(4),
pp. 316–344,
doi:10.1145/1118890.1118892.
Eugenio Moggi (1997):
A categorical account of two-level languages.
Electronic Notes in Theoretical Computer Science 6,
pp. 272,
doi:10.1016/S1571-0661(05)80155-0.
Tiark Rompf & Martin Odersky (2010):
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs.
In: Acm Sigplan Notices 46.
ACM,
pp. 127–136,
doi:10.1007/s10990-011-9072-1.
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy & John O'Leary (2009):
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.
In: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation.
ACM,
pp. 121–130,
doi:10.1007/s10990-011-9072-1.
Tim Sheard & Simon Peyton Jones (2002):
Template meta-programming for Haskell.
In: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell.
ACM,
pp. 1–16,
doi:10.1145/636517.636528.
Mark R Shinwell, Andrew M Pitts & Murdoch J Gabbay (2003):
FreshML: Programming with binders made simple.
In: ACM SIGPLAN Notices 38.
ACM,
pp. 263–274,
doi:10.1145/944746.944729.
Ryan W. Sinnet & Aaron D. Ames (2009):
2D bipedal walking with knees and feet: A hybrid control approach.
In: Conference on Decision and Control,
pp. 3200–3207,
doi:10.1109/CDC.2009.5400503.
Arvind K. Sujeeth, Kevin J. Brown, Hyoukjoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky & Kunle Olukotun (2014):
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages.
ACM Trans. Embed. Comput. Syst. 13(4s),
pp. 134:1–134:25,
doi:10.1145/2584665.
eptcs@eptcs.org