The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PEPM"( http://dblp.L3S.de/Venues/PEPM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pepm

Publication years (Num. hits)
1991 (30) 1992 (17) 1993 (22) 1994-1995 (39) 1997 (18) 1999 (15) 2000 (15) 2002-2003 (25) 2004 (23) 2006 (20) 2007 (19) 2008 (23) 2009 (23) 2010 (21) 2011 (19) 2012 (22) 2013 (20) 2014 (20) 2015 (16) 2016-2017 (24) 2018 (9)
Publication types (Num. hits)
inproceedings(416) proceedings(24)
Venues (Conferences, Journals, ...)
PEPM(440)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 478 occurrences of 286 keywords

Results
Found 440 publication records. Showing 440 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Takahisa Watanabe, Yukiyoshi Kameyama Program generation for ML modules (short paper). Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ben Greenman, Zeina Migeed On the cost of type-tag soundness. Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Barry Jay Recursive programs in normal form (short paper). Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenichi Asai, Chihiro Uehara Selective CPS transformation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Broman, Jeremy G. Siek Gradually typed symbolic expressions. Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Midtgaard Developments in property-based testing (invited talk). Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder Checking cryptographic API usage with composable annotations (short paper). Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fritz 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 PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi A guess-and-assume approach to loop fusion for program verification. Search on Bibsonomy PEPM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer Predicting resource consumption of higher-order workflows. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniil Berezun, Neil D. Jones Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Ivo Gabe de Wolff, Jurriaan Hage Refining types using type guards in TypeScript. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishna Narasimhan, Christoph Reichenbach, Julia Lawall Interactive data representation migration: exploiting program dependence to aid program transformation. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Kazutaka Matsuda, Kazuyuki Asada A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Tiark Rompf, Kevin J. Brown Functional parallels of sequential imperatives (short paper). Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Fritz Henglein, Ulrik Terp Rasmussen PEG parsing in less space using progressive tabling and dynamic analysis. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi 0001, Atsushi Igarashi Verification of code generators via higher-order model checking. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Tatsuya Katsushima, Oleg Kiselyov Language-integrated query with ordering, grouping and outer joins (poster paper). Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Lightweight soundness for towers of language extensions. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Tsubasa Matsushita, Isao Sasano Detecting code clones with gaps by function applications. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Ulrik 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 PEPM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Levin Fritz, Jurriaan Hage Cost versus precision for approximate typing for Python. Search on Bibsonomy PEPM The full citation details ... 2017 DBLP  BibTeX  RDF
1Kenichi Asai Toward introducing binding-time analysis to MetaOCaml. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama Staging beyond terms: prospects and challenges. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama Finally, safely-extensible and efficient language-integrated query. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hendrik 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 PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu BiGUL: a formally verified core language for putback-based bidirectional programming. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler Everything old is new again: quoted domain-specific languages. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremy Yallop Staging generic programming. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ali Afroozeh, Anastasia Izmaylova Operator precedence for data-dependent grammars. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin 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 PEPM The full citation details ... 2016 DBLP  BibTeX  RDF
1Jon Brandvein, Yanhong A. Liu Removing runtime overhead for optimized object queries. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm Practical, general parser combinators. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu SWIN: Towards Type-Safe Java Program Adaptation between APIs. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Huiqing Li, Simon J. Thompson Safe Concurrency Introduction through Slicing. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruud Koot, Jurriaan Hage Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra Incremental Evaluation of Higher Order Attributes. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hidde Verstoep, Jurriaan Hage Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo Threads as Resource for Concurrency Verification. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Henk Erik Van der Hoek, Jurriaan Hage Object-sensitive Type Analysis of PHP. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi Desugaring in Practice: Opportunities and Challenges. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini Imperative Polymorphism by Store-Based Types as Abstract Interpretations. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Björn Lisper, Abu Naser Masud, Husni Khanfar Static Backward Demand-Driven Slicing. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Patrick Bahr, Emil Axelsson Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi 0001 Verifying Relational Properties of Functional Programs by First-Order Refinement. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher Constraint Specialisation in Horn Clause Verification. Search on Bibsonomy PEPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kenichi 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 PEPM The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill The HERMIT in the stream: fusing stream fusion's concatMap. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven-Bodo Scholz Partial evaluation as universal compiler tool: experiences from the SAC Eco system. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Fabian Skrlac A modular and generic analysis server system for functional logic programs. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Meng Wang 0002, Shayan Najd Semantic bidirectionalization revisited. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur Type-changing rewriting and semantics-preserving transformation. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Weiyu Miao, Jeremy G. Siek Compile-time reflection and metaprogramming for Java. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Fausto Spoto An operational semantics for android activities. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael D. Adams 0001, Andrew Farmer, José Pedro Magalhães Optimizing SYB is easy! Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich Lessons from a web-based IDE and runtime. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sheng Chen 0008, Martin Erwig Early detection of type errors in C++ templates. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco Automating property-based testing of evolving web services. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wei-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 PEPM The full citation details ... 2014 DBLP  BibTeX  RDF
1Pedro Martins 0001, João Saraiva, João Paulo Fernandes, Eric Van Wyk Generating attribute grammar-based bidirectional transformations from rewrite rules. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler Effective quotation: relating approaches to language-integrated query. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hugo Pacheco 0001, Zhenjiang Hu, Sebastian Fischer Monadic combinators for "Putback" style bidirectional programming. Search on Bibsonomy PEPM The full citation details ... 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 PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra Lazy stateless incremental evaluation machinery for attribute grammars. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan Combinators for impure yet hygienic code generation. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreea Costea, Asankhaya Sharma, Cristina David HIPimm: verifying granular immutability guarantees. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin Typing as functional-logic evaluation. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan Shonan challenge for generative programming: short position paper. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner Traceability and evidence of correctness of EDSL abstractions. Search on Bibsonomy PEPM The full citation details ... 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 PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Comini, Luca Torella TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Thiemann Partially static operations. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard Verified integrity properties for safe approximate program transformations. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Axel Simon Deriving a complete type inference for hindley-milner and vector sizes using expansion. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas, Josep Silva, Salvador Tamarit Precise explanation of success typing errors. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens Fixing idioms: a recursion primitive for applicative DSLs. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Qiang Sun, Yuting Chen, Jianjun Zhao Constraint-based locality analysis for X10 programs. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhenjiang Hu Practical aspects of bidirectional graph transformations. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Alicia Villanueva Automatic inference of specifications using matching logic. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying programs via iterated specialization. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bruno C. d. S. Oliveira, Andres Löh Abstract syntax graphs for domain specific languages. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira 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 PEPM The full citation details ... 2013 DBLP  BibTeX  RDF
1Ryosuke Sato, Hiroshi Unno 0001, Naoki Kobayashi 0001 Towards a scalable software model checker for higher-order programs. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bruno Martinez, Marcos Viera, Alberto Pardo Just do it while compiling!: fast extensible records in haskell. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeroen Weijers, Jurriaan Hage, Stefan Holdermans Security type error diagnosis for higher-order, polymorphic languages. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Servetto, Elena Zucca A meta-circular language for active libraries. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Markus Degen, Peter Thiemann, Stefan Wehr The interaction of contracts and laziness. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara Functional programs as compressed data. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jacques Carette, Aaron Stump Towards typing for small-step direct reflection. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Markus Püschel Compiling math to fast code. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Susumu Katayama An analytical inductive functional programming system that avoids unintended programs. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Oleg Kiselyov, Simon J. Thompson (eds.) Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012 Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  BibTeX  RDF
1Takumi Goto, Isao Sasano An approach to completing variable names for implicitly typed functional languages. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky Scala-virtualized. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Hirzel, Bugra Gedik Streams that compose using macros that oblige. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez Incremental resource usage analysis. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla COSTABS: a cost and termination analyzer for ABS. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 440 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license