default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHigher-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, Claude Marché, José Meseguer, Xavier Urbain:
Proving operational termination of membership equational programs. 59-88 - Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. 89-118 - Jarle Hulaas, Walter Binder:
Program transformations for light-weight CPU accounting and control in the Java virtual machine. 119-146 - Claudio Ochoa, Josep Silva, Germán Vidal:
Dynamic slicing of lazy functional programs based on redex trails. 147-192 - Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. 193-234 - Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. 235
Volume 21, Number 3, September 2008
- Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann:
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, Boyana Norris:
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, Ian A. Mason:
Editorial. 359 - Jeffrey Mark Siskind, Barak A. Pearlmutter:
Nesting forward-mode AD in a functional framework. 361-376 - Scott Owens, Konrad Slind:
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-10-30 00:56 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:
