Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis |
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 16-38, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Dines Bjørner |
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 53-56, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein |
In memoriam Neil Deaton Jones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 14-15, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sestoft, Harald Søndergaard |
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 1-13, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Ren Fukaishi, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Productivity Verification for Functional Programs by Reduction to Termination Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 70-82, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
An Intrinsically Typed Compiler for Algebraic Effect Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 134-145, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu |
Incremental Computation: What Is the Essence? (Invited Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 39-52, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Allais |
Scoped and Typed Staging by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 83-93, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Verbitskaia, Igor Engel, Daniil Berezun |
A Case Study in Functional Conversion and Mode Inference in miniKanren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 107-118, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Keller, Meng Wang 0002 (eds.) |
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Izumi Tanaka, Ken Sakayori, Naoki Kobayashi 0001 |
Ownership Types for Verification of Programs with Pointer Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 94-106, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Louis Normann, Robert Glück |
Partial Evaluation of Reversible Flowchart Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 119-133, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Tomoaki Kobayashi, Oleg Kiselyov |
Complete Stream Fusion for Software-Defined Radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024, pp. 57-69, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard |
Developments in property-based testing (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 1, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
Checking cryptographic API usage with composable annotations (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 53-59, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Chihiro Uehara |
Selective CPS transformation for shift and reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 40-52, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi |
A guess-and-assume approach to loop fusion for program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 2-14, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takahisa Watanabe, Yukiyoshi Kameyama |
Program generation for ML modules (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 60-66, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Hsiang-Shang Ko (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-5587-2 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Barry Jay |
Recursive programs in normal form (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 67-73, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Broman, Jeremy G. Siek |
Gradually typed symbolic expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 15-29, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ben Greenman, Zeina Migeed |
On the cost of type-tag soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018, pp. 30-39, 2018, ACM, 978-1-4503-5587-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Katsushima, Oleg Kiselyov |
Language-integrated query with ordering, grouping and outer joins (poster paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 123-124, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi 0001, Atsushi Igarashi |
Verification of code generators via higher-order model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 59-70, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tsubasa Matsushita, Isao Sasano |
Detecting code clones with gaps by function applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 12-22, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Gabe de Wolff, Jurriaan Hage |
Refining types using type guards in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 111-122, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Pagh Schultz, Jeremy Yallop (eds.) |
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-4721-1 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
Predicting resource consumption of higher-order workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 99-110, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tiark Rompf, Kevin J. Brown |
Functional parallels of sequential imperatives (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 83-88, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Ulrik Terp Rasmussen |
PEG parsing in less space using progressive tabling and dynamic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 35-46, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Serrano 0001, Jurriaan Hage |
Lightweight soundness for towers of language extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 23-34, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishna Narasimhan, Christoph Reichenbach, Julia Lawall |
Interactive data representation migration: exploiting program dependence to aid program transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 47-58, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniil Berezun, Neil D. Jones |
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 1-11, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Levin Fritz, Jurriaan Hage |
Cost versus precision for approximate typing for Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 89-98, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kazutaka Matsuda, Kazuyuki Asada |
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017, pp. 71-82, 2017, ACM, 978-1-4503-4721-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai |
Toward introducing binding-time analysis to MetaOCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 97-102, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Yallop |
Staging generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 85-96, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu |
BiGUL: a formally verified core language for putback-based bidirectional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 61-72, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jun Inoue 0001, Oleg Kiselyov, Yukiyoshi Kameyama |
Staging beyond terms: prospects and challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 103-108, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama |
Finally, safely-extensible and efficient language-integrated query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 37-48, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ali Afroozeh, Anastasia Izmaylova |
Operator precedence for data-dependent grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 13-24, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jon Brandvein, Yanhong A. Liu |
Removing runtime overhead for optimized object queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 73-84, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler |
Everything old is new again: quoted domain-specific languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 25-36, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig, Tiark Rompf (eds.) |
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-4097-7 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm |
Practical, general parser combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 1-12, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
A constraint language for static semantic analysis based on scope graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 49-60, 2016, ACM, 978-1-4503-4097-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jun Li, Chenglong Wang, Yingfei Xiong 0001, Zhenjiang Hu |
SWIN: Towards Type-Safe Java Program Adaptation between APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 91-102, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 3-8, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Henk Erik Van der Hoek, Jurriaan Hage |
Object-sensitive Type Analysis of PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 9-20, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Björn Lisper, Abu Naser Masud, Husni Khanfar |
Static Backward Demand-Driven Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 115-126, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bishoksan Kafle, John P. Gallagher |
Constraint Specialisation in Horn Clause Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 85-90, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada, Ryosuke Sato 0001, Naoki Kobayashi 0001 |
Verifying Relational Properties of Functional Programs by First-Order Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 61-72, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
Incremental Evaluation of Higher Order Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 39-48, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hidde Verstoep, Jurriaan Hage |
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 139-142, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Huiqing Li, Simon J. Thompson |
Safe Concurrency Introduction through Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 103-113, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Desugaring in Practice: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 1-2, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Kostis Sagonas (eds.) |
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-3297-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Ruud Koot, Jurriaan Hage |
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 127-138, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
Threads as Resource for Concurrency Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 73-84, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori |
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 21-26, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr, Emil Axelsson |
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 27-38, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, pp. 49-60, 2015, ACM, 978-1-4503-3297-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
Lazy stateless incremental evaluation machinery for attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 145-156, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Martin Erwig |
Early detection of type errors in C++ templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 133-144, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Payet, Fausto Spoto |
An operational semantics for android activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 121-132, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weiyu Miao, Jeremy G. Siek |
Compile-time reflection and metaprogramming for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 27-38, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler |
Effective quotation: relating approaches to language-integrated query. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 15-26, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Fähndrich |
Lessons from a web-based IDE and runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 1-2, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Pacheco 0001, Zhenjiang Hu, Sebastian Fischer 0001 |
Monadic combinators for "Putback" style bidirectional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 39-50, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Combinators for impure yet hygienic code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 3-14, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey |
Deriving interpretations of the gradually-typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 157-168, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur |
Type-changing rewriting and semantics-preserving transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 109-120, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill |
The HERMIT in the stream: fusing stream fusion's concatMap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 97-108, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Costea, Asankhaya Sharma, Cristina David |
HIPimm: verifying granular immutability guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 189-194, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sven-Bodo Scholz |
Partial evaluation as universal compiler tool: experiences from the SAC Eco system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 95-96, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wang 0002, Shayan Najd |
Semantic bidirectionalization revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 51-62, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Jurriaan Hage (eds.) |
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-2619-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Pedro Martins 0001, João Saraiva, João Paulo Fernandes, Eric Van Wyk |
Generating attribute grammar-based bidirectional transformations from rewrite rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 63-70, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Fabian Skrlac |
A modular and generic analysis server system for functional logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 181-188, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco |
Automating property-based testing of evolving web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 169-180, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi |
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 83-94, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001, Andrew Farmer, José Pedro Magalhães |
Optimizing SYB is easy! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 71-82, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ryosuke Sato 0001, Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Towards a scalable software model checker for higher-order programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 53-62, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Martinez, Marcos Viera, Alberto Pardo |
Just do it while compiling!: fast extensible records in haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 77-86, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens |
Fixing idioms: a recursion primitive for applicative DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 97-106, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Servetto, Elena Zucca |
A meta-circular language for active libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 117-126, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner |
Traceability and evidence of correctness of EDSL abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 71-74, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
Verified integrity properties for safe approximate program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 63-66, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shonan challenge for generative programming: short position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 147-154, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Marco A. Feliú, Alicia Villanueva |
Automatic inference of specifications using matching logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 127-136, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Shin-Cheng Mu (eds.) |
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![ACM, 978-1-4503-1842-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Qiang Sun, Yuting Chen, Jianjun Zhao 0001 |
Constraint-based locality analysis for X10 programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 137-146, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro García-Pérez, Pablo Nogueira |
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 107-116, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
Deriving a complete type inference for hindley-milner and vector sizes using expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 13-22, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
Precise explanation of success typing errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 33-42, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
Security type error diagnosis for higher-order, polymorphic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 3-12, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verifying programs via iterated specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 43-52, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Partially static operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 75-76, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno C. d. S. Oliveira, Andres Löh |
Abstract syntax graphs for domain specific languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 87-96, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Luca Torella |
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 67-70, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|