Michael I. Schwartzbach - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged binding-time

A Two-Phase Binding-Time Analysis in Partial Evaluation for XQueryHang Su, Husheng Liao. csie 2009: 454-461 [doi]

An investigation of Jones optimality and BTI-universal specializersRobert Glück. lisp, 21(3), 2008. [doi]

Fast Offline Partial Evaluation of Large Logic ProgramsMichael Leuschel, Germán Vidal. LOPSTR 2009: 119-134 [doi]

Partial Evaluation for Common Intermediate LanguageAndrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov. ershov 2003: 171-177 [doi]

Binding-time Analysis: Abstract Interpretation versus Type InferenceJens Palsberg, Michael I. Schwartzbach. iccl 1994: 277-288 [doi]

Polymorphic Binding-Time AnalysisFritz Henglein, Christian Mossin. ESOP 1994: 287-301 [doi]

Binding-Time Analysis and the Taming of C PointersLars Ole Andersen. PEPM 1993: 47-58

Polyvariant Binding-Time Analysis For Applicative LanguagesCharles Consel. PEPM 1993: 66-77 [doi]

Improving Binding Times Without Explicit CPS-ConversionAnders Bondorf. lfp 1992: 1-10 [doi]

For a Better Support of Static Data FlowCharles Consel, Olivier Danvy. fpca 1991: 496-519

Parameterized Partial EvaluationCharles Consel, Siau-Cheng Khoo. PLDI 1991: 92-106

Efficient Type Inference for Higher-Order Binding-Time AnalysisFritz Henglein. fpca 1991: 448-472 [doi]

Automatic Binding Time Analysis for a Typed lambda-CalculusHanne Riis Nielson, Flemming Nielson. SCP, 10(1):139-176, 1988.

An Experiment in Partial Evaluation: The Generation of a Compiler GeneratorNeil D. Jones, Peter Sestoft, Harald Søndergaard. RTA 1985: 124-140 [doi]

runs on WebDSL