Volume 21, Issue 1-2

Higher-Order and Symbolic Computation is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Higher-Order and Symbolic Computation articles

June 2008

9 articles in this issue

Editorial
Julia Lawall
Michael Leuschel
Peter Sestoft
OriginalPaper 11 April 2008 Pages: 1 - 3
Efficient and flexible access control via Jones-optimal logic program specialisation
Steve Barker
Michael Leuschel
Mauricio Varea
OriginalPaper 12 April 2008 Pages: 5 - 35
Imperative-program transformation by instrumented-interpreter specialization
Søren Debois
OriginalPaper 15 April 2008 Pages: 37 - 58
Proving operational termination of membership equational programs
Francisco Durán
Salvador Lucas
Xavier Urbain
OriginalPaper 26 April 2008 Pages: 59 - 88
A programmable editor for developing structured documents based on bidirectional transformations
Zhenjiang Hu
Shin-Cheng Mu
Masato Takeichi
OriginalPaper 16 April 2008 Pages: 89 - 118
Program transformations for light-weight CPU accounting and control in the Java virtual machine
Jarle Hulaas
Walter Binder
OriginalPaper 12 April 2008 Pages: 119 - 146
Dynamic slicing of lazy functional programs based on redex trails
Claudio Ochoa
Josep Silva
Germán Vidal
OriginalPaper 16 April 2008 Pages: 147 - 192
Totally correct logic program transformations via well-founded annotations
Alberto Pettorossi
Maurizio Proietti
OriginalPaper 12 April 2008 Pages: 193 - 234
Totally correct logic program transformations via well-founded annotations
Alberto Pettorossi
Maurizio Proietti
Erratum 23 May 2008 Pages: 235 - 235

Volume 21, Issue 1-2

Search

Navigation