Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

May 1991

1991 Proceeding

Chairmen:
Charles Consel,
Olivier Danvy

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

PEPM: ACM Symposium on Partial Evaluation and Semantics/Based Program Manipulation New Haven Connecticut USA June 17 - 19, 1991

ISBN:

978-0-89791-433-8

Published:

01 May 1991

Sponsors:

SIGPLAN

Get Alerts for this ConferenceAlerts Save to BinderBinder

Save to Binder

Create a New Binder

Name

Export CitationCitation

Share on

Bibliometrics

Citation count

550

Downloads (6 weeks)

Downloads (12 months)

905

Downloads (cumulative)

9,384

Sections

PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

1991

Previous Next

Abstract

No abstract available.

Skip Table Of Content Section

Select All

Export Citations Save to Binder

Article

Free

Generalized partial computation for a lazy functional language

Akihiko Takano

pp 1–11https://doi.org/10.1145/115865.115867

- 31
- 328
Metrics
Total Citations31
Total Downloads328
Last 12 Months43
Last 6 weeks8

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Inversion and metacomputation

Alexander Romanenko

pp 12–22https://doi.org/10.1145/115865.115868

- 41
- 384
Metrics
Total Citations41
Total Downloads384
Last 12 Months48
Last 6 weeks4

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Determinacy analysis for full Prolog

Dan Sahlin

pp 23–30https://doi.org/10.1145/115865.115869

- 11
- 225
Metrics
Total Citations11
Total Downloads225
Last 12 Months17
Last 6 weeks2

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Detecting static algorithms by partial evaluation

Björn Lisper

pp 31–42https://doi.org/10.1145/115865.115870

- 3
- 240
Metrics
Total Citations3
Total Downloads240
Last 12 Months18
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Toward the partial evaluation of CLP languages

Timothy J. Hickey,
Donald A. Smith

pp 43–51https://doi.org/10.1145/115865.115871

- 12
- 275
Metrics
Total Citations12
Total Downloads275
Last 12 Months18
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis

Agostino Cortesi,
Gilbert Filé

pp 52–61https://doi.org/10.1145/115865.115872

- 23
- 326
Metrics
Total Citations23
Total Downloads326
Last 12 Months17
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Partial evaluation of pattern matching in constraint logic programming languages

Donald A. Smith

pp 62–71https://doi.org/10.1145/115865.115873

- 27
- 476
Metrics
Total Citations27
Total Downloads476
Last 12 Months44
Last 6 weeks6

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Optimization of equational programs using partial evaluation

David Sherman,
Robert Strandh,
Irène Durand

pp 72–82https://doi.org/10.1145/115865.115874

- 3
- 218
Metrics
Total Citations3
Total Downloads218
Last 12 Months22
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Building incremental programs using partial evaluation

R. S. Sundaresh

pp 83–93https://doi.org/10.1145/115865.115875

- 5
- 268
Metrics
Total Citations5
Total Downloads268
Last 12 Months13
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Techniques for partial evaluation of imperative languages

Uwe Meyer

pp 94–105https://doi.org/10.1145/115865.115876

- 29
- 341
Metrics
Total Citations29
Total Downloads341
Last 12 Months35
Last 6 weeks3

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Verifying the correctness of compiler transformations on basic blocks using abstract interpretation

Timothy S. McNerney

pp 106–115https://doi.org/10.1145/115865.115877

- 13
- 352
Metrics
Total Citations13
Total Downloads352
Last 12 Months23
Last 6 weeks2

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

A syntactic approach to program transformations

Zena M. Ariola

pp 116–129https://doi.org/10.1145/115865.115878

- 15
- 257
Metrics
Total Citations15
Total Downloads257
Last 12 Months25
Last 6 weeks3

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Staging transformations for abstract machines

John Hannan

pp 130–141https://doi.org/10.1145/115865.115879

- 8
- 296
Metrics
Total Citations8
Total Downloads296
Last 12 Months34
Last 6 weeks2

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Program bifurcation for a polymorphically typed functional language

Anne De Niel,
Eddy Bevers,
Karel De Vlaminck

pp 142–153https://doi.org/10.1145/115865.115880

- 9
- 259
Metrics
Total Citations9
Total Downloads259
Last 12 Months25
Last 6 weeks5

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Binding time analysis: a new PERspective

Sebastian Hunt,
David Sands

pp 154–165https://doi.org/10.1145/115865.115881

- 50
- 358
Metrics
Total Citations50
Total Downloads358
Last 12 Months54
Last 6 weeks12

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Globalization and live variables

Carsten K. Gomard,
Peter Sestoft

pp 166–177https://doi.org/10.1145/115865.115882

- 12
- 453
Metrics
Total Citations12
Total Downloads453
Last 12 Months36
Last 6 weeks3

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Reference escape analysis: optimizing reference counting based on the lifetime of references

Young Gil Park,
Benjamin Goldberg

pp 178–189https://doi.org/10.1145/115865.115883

- 12
- 392
Metrics
Total Citations12
Total Downloads392
Last 12 Months57
Last 6 weeks5

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

The semantics of Scheme control-flow analysis

Olin Shivers

pp 190–198https://doi.org/10.1145/115865.115884

- 76
- 549
Metrics
Total Citations76
Total Downloads549
Last 12 Months45
Last 6 weeks5

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Dynamic specialization in extended functional language with monotone objects

Andrei V. Klimov

pp 199–210https://doi.org/10.1145/115865.376287

- 2
- 177
Metrics
Total Citations2
Total Downloads177
Last 12 Months15
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Compiling inheritance using partial evaluation

Siau Cheng Khoo,
R. S. Sundaresh

pp 211–222https://doi.org/10.1145/115865.115886

- 13
- 253
Metrics
Total Citations13
Total Downloads253
Last 12 Months16
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Partial evaluation is fuller laziness

Carsten Kehler Holst,
Darsten Krogh Gomard

pp 223–233https://doi.org/10.1145/115865.115890

- 25
- 326
Metrics
Total Citations25
Total Downloads326
Last 12 Months18
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

M-LISP: its natural semantics and equational logic

Robert Muller

pp 234–242https://doi.org/10.1145/115865.115891

- 0
- 340
Metrics
Total Citations0
Total Downloads340
Last 12 Months31
Last 6 weeks4

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Properties of unfolding-based meta-level systems

Torben Amtoft Hansen

pp 243–254https://doi.org/10.1145/115865.115892

- 6
- 219
Metrics
Total Citations6
Total Downloads219
Last 12 Months22
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Is there a use for linear logic?

Philip Wadler

pp 255–273https://doi.org/10.1145/115865.115894

- 66
- 694
Metrics
Total Citations66
Total Downloads694
Last 12 Months102
Last 6 weeks10

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Semantics preserving transformation rules for Prolog

Maurizio Proietti,
Alberto Pettorossi

pp 274–284https://doi.org/10.1145/115865.115895

- 25
- 414
Metrics
Total Citations25
Total Downloads414
Last 12 Months23
Last 6 weeks2

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Compiling the polymorphic λ-calculus

Spiro Michaylov,
Frank Pfenning

pp 285–296https://doi.org/10.1145/115865.115896

- 0
- 210
Metrics
Total Citations0
Total Downloads210
Last 12 Months22
Last 6 weeks1

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Program transformations for configuring components

Ian A. Mason,
Carolyn L. Talcott

pp 297–308https://doi.org/10.1145/115865.115898

- 1
- 197
Metrics
Total Citations1
Total Downloads197
Last 12 Months10
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Towards multiple self-application

Robert Glück

pp 309–320https://doi.org/10.1145/115865.115900

- 16
- 287
Metrics
Total Citations16
Total Downloads287
Last 12 Months21
Last 6 weeks0

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Article

Free

Using types to avoid redundant specialization

Erik Ruf,
Daniel Weise

pp 321–333https://doi.org/10.1145/115865.115902

- 16
- 270
Metrics
Total Citations16
Total Downloads270
Last 12 Months51
Last 6 weeks10

Export Citations
Save to Binder
Save to Binder
Create a New Binder
Name

View online with eReader
PDF

Save to Binder

Create a New Binder

Name

Contributors

Charles Consel
Bordeaux INP
- Publication Years1988 - 2021
- Publication counts107
- Citation count2,747
- Available for Download63
- Downloads (cumulative)25,627
- Downloads (12 months)1,392
- Downloads (6 weeks)189
- Average Downloads per Article407
- Average Citation per Article26
View Full Profile
Olivier Danvy
National University of Singapore
- Publication Years1987 - 2023
- Publication counts150
- Citation count2,490
- Available for Download47
- Downloads (cumulative)30,079
- Downloads (12 months)4,194
- Downloads (6 weeks)505
- Average Downloads per Article640
- Average Citation per Article17
View Full Profile

Index Terms

Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language features
      2. Language types
2. Theory of computation

Recommendations

PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Read More
PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Read More
PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Read More

Acceptance Rates

Overall Acceptance Rate66of120submissions,55%

Year	Submitted	Accepted	Rate
PEPM '15	27	14	52%
PEPM '14	22	17	77%
PEPM '13	29	13	45%
PEPM '02	22	11	50%
PEPM '00	20	11	55%
Overall	120	66	55%

Comments

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

Save to Binder

Sections

Save to Binder

Index Terms

Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Recommendations

PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Acceptance Rates