default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 17

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 17, Number 1-2, March-June 2004

Theme issue on Partial Evaluation and Semantics-Based Program Manipulation

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChinDT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ChinDT04
Wei-Ngan Chin, Olivier Danvy, Peter Thiemann:
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Vidal04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Vidal04
Germán Vidal:
Cost-Augmented Partial Evaluation of Functional Logic Programs. 7-46
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/MeurLC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/MeurLC04
Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. 47-92
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KhooS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KhooS04
Siau-Cheng Khoo, Kun Shi:
Program Adaptation via Output-Constraint Specialization. 93-128
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Voigtlander04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Voigtlander04
Janis Voigtländer:
Using Circular Programs to Deforest in Accumulating Parameters. 129-163
no results

Volume 17, Number 3, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BasinDH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BasinDH04
David A. Basin, Olivier Danvy, Robert Harper:
Editorial. 171
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LaceyJWF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LaceyJWF04
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen:
Compiler Optimization Correctness by Temporal Logic. 173-206
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KristensenC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KristensenC04
Lars Michael Kristensen, Søren Christensen:
Implementing Coloured Petri Nets Using a Functional Programming Language. 207-243
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/TofteBEH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/TofteBEH04
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg:
A Retrospective on Region-Based Memory Management. 245-265
no results

Volume 17, Number 4, December 2004

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyM04
Olivier Danvy, Ian A. Mason:
Editorial. 275
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Queinnec04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Queinnec04
Christian Queinnec:
Continuations and Web Servers. 277-295
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mastroeni04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Mastroeni04
Isabella Mastroeni:
Algebraic Power Analysis by Abstract Interpretation. 297-345
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Helsen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Helsen04
Simon Helsen:
Bisimilarity for the Region Calculus. 347-394
no results

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.