researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
17
, Issue
1-2
5
--
6
Wei-Ngan Chin
,
Olivier Danvy
,
Peter Thiemann
.
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation
7
--
46
Germán Vidal
.
Cost-Augmented Partial Evaluation of Functional Logic Programs
47
--
92
Anne-Françoise Le Meur
,
Julia L. Lawall
,
Charles Consel
.
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
93
--
128
Siau-Cheng Khoo
,
Kun Shi
.
Program Adaptation via Output-Constraint Specialization
129
--
163
Janis Voigtländer
.
Using Circular Programs to Deforest in Accumulating Parameters