default search action
Higher-Order and Symbolic Computation, Volume 21
Volume 21, Numbers 1-2, June 2008
- Julia Lawall, Michael Leuschel, Peter Sestoft:
Editorial. 1-3 - Steve Barker, Michael Leuschel, Mauricio Varea:
Efficient and flexible access control via Jones-optimal logic program specialisation. 5-35 - Søren Debois:
Imperative-program transformation by instrumented-interpreter specialization. 37-58 - Francisco Durán
, Salvador Lucas
Proving operational termination of membership equational programs. 59-88 - Zhenjiang Hu, Shin-Cheng Mu
A programmable editor for developing structured documents based on bidirectional transformations. 89-118 - Jarle Hulaas
Program transformations for light-weight CPU accounting and control in the Java virtual machine. 119-146 - Claudio Ochoa, Josep Silva
Dynamic slicing of lazy functional programs based on redex trails. 147-192 - Alberto Pettorossi
Totally correct logic program transformations via well-founded annotations. 193-234 - Alberto Pettorossi
Totally correct logic program transformations via well-founded annotations. 235
Volume 21, Number 3, September 2008
- Olivier Danvy
Editorial. 237-238 - Christian Skalka:
Types and trace effects for object orientation. 239-282 - Robert Glück
An investigation of Jones optimality and BTI-universal specializers. 283-309 - Christian H. Bischof, Paul D. Hovland
On the implementation of automatic differentiation tools. 311-331 - Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. 333-358
Volume 21, Number 4, December 2008
- Olivier Danvy
Editorial. 359 - Jeffrey Mark Siskind
Nesting forward-mode AD in a functional framework. 361-376 - Scott Owens
Adapting functional programs to higher order logic. 377-409 - Torben Amtoft:
Flow-sensitive type systems and the ambient calculus. 411-442
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-04 01:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: