A Pattern Matching Compiler for Multiple Target Languages (2003)

Cached

Download Links

by Pierre-etienne Moreau , Christophe Ringeissen , Marian Vittek
Venue:12th Conference on Compiler Construction, Warsaw (Poland), volume 2622 of LNCS
Citations:69 - 15 self

Documents Related by Co-Citation

954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
145 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1111 Proof-Carrying Code – George C. Necula - 1997
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002