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

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

June 1995

1995 Proceeding

Chairman:
Neil Jones
Univ. of Copenhagen, Copenhagen, Denmark

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

PEPM95: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation La Jolla California USA June 21 - 23, 1995

ISBN:

978-0-89791-720-9

Published:

23 June 1995

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

335

Downloads (6 weeks)

141

Downloads (12 months)

553

Downloads (cumulative)

6,384

Sections

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

1995

Previous Next

Abstract

No abstract available.

Skip Table Of Content Section

Select All

Export Citations Save to Binder

Article

Free

Shape analysis as a generalized path problem

Thomas Reps

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

- 49
- 466
Metrics
Total Citations49
Total Downloads466
Last 12 Months28
Last 6 weeks9

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

View online with eReader
PDF

Article

Free

A symbolic constraint solving framework for analysis of logic programs

C. R. Ramakrishnan,
I. V. Ramakrishnan,
R. C. Sekar

pp 12–23https://doi.org/10.1145/215465.215467

- 5
- 173
Metrics
Total Citations5
Total Downloads173
Last 12 Months12
Last 6 weeks1

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

View online with eReader
PDF

Article

Free

Mix ten years later

Neil D. Jones

pp 24–38https://doi.org/10.1145/215465.215468

- 17
- 234
Metrics
Total Citations17
Total Downloads234
Last 12 Months22
Last 6 weeks2

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

View online with eReader
PDF

Article

Free

Self-applicable online partial evaluation of the pure lambda calculus

Torben Æ. Mogensen

pp 39–44https://doi.org/10.1145/215465.215469

- 21
- 276
Metrics
Total Citations21
Total Downloads276
Last 12 Months24
Last 6 weeks2

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

View online with eReader
PDF

Article

Free

Effect systems with subtyping

Yan Mei Tang,
Pierre Jouvelot

pp 45–53https://doi.org/10.1145/215465.215552

- 20
- 271
Metrics
Total Citations20
Total Downloads271
Last 12 Months36
Last 6 weeks1

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

View online with eReader
PDF

Article

Free

Polyvariant constructor specialisation

Dirk Dussart,
Eddy Bevers,
Karel De Vlaminck

pp 54–65https://doi.org/10.1145/215465.215554

- 16
- 170
Metrics
Total Citations16
Total Downloads170
Last 12 Months9
Last 6 weeks0

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

View online with eReader
PDF

Article

Free

Polyvariant specialisation for higher-order, block-structured languages

Karoline Malmkjær,
Peter Ørbæk

pp 66–76https://doi.org/10.1145/215465.215558

- 7
- 162
Metrics
Total Citations7
Total Downloads162
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

Implementation of multiple specialization in logic programs

Germán Puebla,
Manuel Hermenegildo

pp 77–87https://doi.org/10.1145/215465.215561

- 17
- 146
Metrics
Total Citations17
Total Downloads146
Last 12 Months10
Last 6 weeks1

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

View online with eReader
PDF

Article

Free

Proving properties of programs defined over recursive data structures

Daniel Le Métayer

pp 88–99https://doi.org/10.1145/215465.215567

- 6
- 198
Metrics
Total Citations6
Total Downloads198
Last 12 Months26
Last 6 weeks1

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

View online with eReader
PDF

Article

Free

Semantic foundations of binding-time analysis for imperative programs

Manuvir Das,
Thomas Reps,
Pascal van Hentenryck

pp 100–110https://doi.org/10.1145/215465.215569

- 28
- 172
Metrics
Total Citations28
Total Downloads172
Last 12 Months17
Last 6 weeks7

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

View online with eReader
PDF

Article

Free

Abstract interpretation and low-level code optimization

Saumya Debray

pp 111–121https://doi.org/10.1145/215465.215571

- 3
- 383
Metrics
Total Citations3
Total Downloads383
Last 12 Months17
Last 6 weeks6

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

View online with eReader
PDF

Article

Free

Using abstract interpretation to define a strictness type inference system

B. Monsuez

pp 122–133https://doi.org/10.1145/215465.215574

- 4
- 213
Metrics
Total Citations4
Total Downloads213
Last 12 Months33
Last 6 weeks8

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

View online with eReader
PDF

Article

Free

Schedulers as abstract interpretations of higher-dimensional automata

Eric Goubault

pp 134–145https://doi.org/10.1145/215465.215577

- 12
- 241
Metrics
Total Citations12
Total Downloads241
Last 12 Months19
Last 6 weeks6

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

View online with eReader
PDF

Article

Free

The essence of LR parsing

Michael Sperber,
Peter Thiemann

pp 146–155https://doi.org/10.1145/215465.215579

- 12
- 601
Metrics
Total Citations12
Total Downloads601
Last 12 Months126
Last 6 weeks63

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

View online with eReader
PDF

Article

Free

Clock analysis of synchronous dataflow programs

Thomas P. Jensen

pp 156–167https://doi.org/10.1145/215465.215582

- 4
- 243
Metrics
Total Citations4
Total Downloads243
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

The replacement operation for CLP modules

Sandro Etalle,
Maurizio Gabbrielli

pp 168–177https://doi.org/10.1145/215465.215583

- 3
- 111
Metrics
Total Citations3
Total Downloads111
Last 12 Months7
Last 6 weeks0

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

View online with eReader
PDF

Article

Free

Higher-order expression procedures

David Sands

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

- 5
- 150
Metrics
Total Citations5
Total Downloads150
Last 12 Months5
Last 6 weeks0

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

View online with eReader
PDF

Article

Free

Caching intermediate results for program improvement

Yanhong A. Liu,
Tim Teitelbaum

pp 190–201https://doi.org/10.1145/215465.215590

- 31
- 472
Metrics
Total Citations31
Total Downloads472
Last 12 Months9
Last 6 weeks1

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

View online with eReader
PDF

Article

Free

Analyzing the communication topology of concurrent programs

Christopher Colby

pp 202–213https://doi.org/10.1145/215465.215592

- 25
- 283
Metrics
Total Citations25
Total Downloads283
Last 12 Months26
Last 6 weeks8

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

View online with eReader
PDF

Article

Free

Semantic analysis of shared-memory concurrent languages using abstract model-checking

Régis Cridlig

pp 214–225https://doi.org/10.1145/215465.215593

- 14
- 274
Metrics
Total Citations14
Total Downloads274
Last 12 Months35
Last 6 weeks10

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

View online with eReader
PDF

Article

Free

Semantic models and abstract interpretation techniques for inductive data structures and pointers

Alain Deutsch

pp 226–229https://doi.org/10.1145/215465.215594

- 21
- 602
Metrics
Total Citations21
Total Downloads602
Last 12 Months27
Last 6 weeks4

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

View online with eReader
PDF

Article

Free

Action transformation by partial evaluation

Kyung-Goo Doh

pp 230–240https://doi.org/10.1145/215465.215595

- 2
- 161
Metrics
Total Citations2
Total Downloads161
Last 12 Months11
Last 6 weeks2

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

View online with eReader
PDF

Article

Free

Type analysis of logic programs in the presence of type definitions

Lunjin Lu

pp 241–252https://doi.org/10.1145/215465.215597

- 6
- 162
Metrics
Total Citations6
Total Downloads162
Last 12 Months12
Last 6 weeks2

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

View online with eReader
PDF

Article

Free

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Michael Leuschel,
Danny De Schreye

pp 253–263https://doi.org/10.1145/215465.215598

- 7
- 220
Metrics
Total Citations7
Total Downloads220
Last 12 Months14
Last 6 weeks8

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

Neil D Jones
University of Copenhagen
- Publication Years1972 - 2023
- Publication counts82
- Citation count2,981
- Available for Download32
- Downloads (cumulative)18,460
- Downloads (12 months)1,309
- Downloads (6 weeks)152
- Average Downloads per Article577
- Average Citation per Article36
View Full Profile

Index Terms

Proceedings of the 1995 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. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
    2. Program semantics

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 1995 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