default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pepm/pepm95.bht:"
download as .bib file
@inproceedings{DBLP:conf/pepm/Colby95,
author = {Christopher Colby},
editor = {Neil D. Jones},
title = {Analyzing the Communication Topology of Concurrent Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {202--213},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215592},
doi = {10.1145/215465.215592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Colby95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Cridlig95,
author = {R{\'{e}}gis Cridlig},
editor = {Neil D. Jones},
title = {Semantic Analysis of Shared-Memory Concurrent Languages using Abstract
Model-Checking},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {214--225},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215593},
doi = {10.1145/215465.215593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Cridlig95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DasRH95,
author = {Manuvir Das and
Thomas W. Reps and
Pascal Van Hentenryck},
editor = {Neil D. Jones},
title = {Semantic Foundations of Binding Time Analysis for Imperative Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {100--110},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215569},
doi = {10.1145/215465.215569},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DasRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Debray95,
author = {Saumya K. Debray},
editor = {Neil D. Jones},
title = {Abstract Interpretation and Low-Level Code Optimization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {111--121},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215571},
doi = {10.1145/215465.215571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Debray95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Deutsch95,
author = {Alain Deutsch},
editor = {Neil D. Jones},
title = {Semantic models and abstract interpretation techniques for inductive
data structures and pointers},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {226--229},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215594},
doi = {10.1145/215465.215594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Deutsch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Doh95,
author = {Kyung{-}Goo Doh},
editor = {Neil D. Jones},
title = {Action Transformation by Partial Evaluation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {230--240},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215595},
doi = {10.1145/215465.215595},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Doh95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DussartBV95,
author = {Dirk Dussart and
Eddy Bevers and
Karel De Vlaminck},
editor = {Neil D. Jones},
title = {Polyvariant Constructor Specialisation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {54--65},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215554},
doi = {10.1145/215465.215554},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/DussartBV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/EtalleG95,
author = {Sandro Etalle and
Maurizio Gabbrielli},
editor = {Neil D. Jones},
title = {The Replacement Operation for {CLP} Modules},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {168--177},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215583},
doi = {10.1145/215465.215583},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/EtalleG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Goubault95,
author = {Eric Goubault},
editor = {Neil D. Jones},
title = {Schedulers as Abstract Interpreter of Higher Dimensional Automata},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {134--145},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215577},
doi = {10.1145/215465.215577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Goubault95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Jensen95,
author = {Thomas P. Jensen},
editor = {Neil D. Jones},
title = {Clock Analysis of Synchronous Dataflow Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {156--167},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215582},
doi = {10.1145/215465.215582},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Jensen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Jones95,
author = {Neil D. Jones},
editor = {Neil D. Jones},
title = {Special Address: {MIX} ten years after},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {24--38},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215468},
doi = {10.1145/215465.215468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Jones95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeuschelS95,
author = {Michael Leuschel and
Danny De Schreye},
editor = {Neil D. Jones},
title = {Towards Creating Specialised Integrity Checks through Partial Evaluation
of Meta-Interpreters},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {253--263},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215598},
doi = {10.1145/215465.215598},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/LeuschelS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LiuT95,
author = {Yanhong A. Liu and
Tim Teitelbaum},
editor = {Neil D. Jones},
title = {Caching Intermediate Results for Program Improvement},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {190--201},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215590},
doi = {10.1145/215465.215590},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LiuT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lu95,
author = {Lunjin Lu},
editor = {Neil D. Jones},
title = {Type Analysis of Logic Programs in the Presence of Type Definitions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {241--252},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215597},
doi = {10.1145/215465.215597},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Lu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MalmkjaerO95,
author = {Karoline Malmkj{\ae}r and
Peter {\O}rb{\ae}k},
editor = {Neil D. Jones},
title = {Polyvariant Specialisation for Higher-Order, Block-Structured Languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {66--76},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215558},
doi = {10.1145/215465.215558},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MalmkjaerO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Metayer95,
author = {Daniel Le M{\'{e}}tayer},
editor = {Neil D. Jones},
title = {Proving Properties of Programs Defined over Recursive Data Structures},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {88--99},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215567},
doi = {10.1145/215465.215567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Metayer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Mogensen95,
author = {Torben {\AE}. Mogensen},
editor = {Neil D. Jones},
title = {Self-applicable Online Partial Evaluation of Pure Lambda Calculus},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {39--44},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215469},
doi = {10.1145/215465.215469},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Mogensen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Monsuez95,
author = {Bruno Monsuez},
editor = {Neil D. Jones},
title = {Using Abstract Interpretation to Define a Strictness Type Inference
System},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {122--133},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215574},
doi = {10.1145/215465.215574},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Monsuez95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaH95,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Neil D. Jones},
title = {Implementation of Multiple Specialization in Logic Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {77--87},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215561},
doi = {10.1145/215465.215561},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/PueblaH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RamakrishnanRS95,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
R. C. Sekar},
editor = {Neil D. Jones},
title = {A Symbolic Constraint Solving Framework for Analysis of Logic Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {12--23},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215467},
doi = {10.1145/215465.215467},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/RamakrishnanRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Reps95,
author = {Thomas W. Reps},
editor = {Neil D. Jones},
title = {Shape Analysis as a Generalized Path Problem},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {1--11},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215466},
doi = {10.1145/215465.215466},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Reps95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Sands95,
author = {David Sands},
editor = {Neil D. Jones},
title = {Higher Order Expression Procedures},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {178--189},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215587},
doi = {10.1145/215465.215587},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Sands95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SperberT95,
author = {Michael Sperber and
Peter Thiemann},
editor = {Neil D. Jones},
title = {The Essence of {LR} Parsing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {146--155},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215579},
doi = {10.1145/215465.215579},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/SperberT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/TangJ95,
author = {Yan Mei Tang and
Pierre Jouvelot},
editor = {Neil D. Jones},
title = {Effect Systems with Subtyping},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {45--53},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215552},
doi = {10.1145/215465.215552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/TangJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1995,
editor = {Neil D. Jones},
title = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
publisher = {{ACM} Press},
year = {1995},
url = {http://dl.acm.org/citation.cfm?id=215465},
isbn = {0-89791-720-0},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-29 05:23 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
