|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 478 occurrences of 286 keywords
|
|
|
|
|
Results
Found 351 publication records. Showing 351 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Oleg Kiselyov, Simon Thompson (eds.) |
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012  |
PEPM  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jacques Carette, Aaron Stump |
Towards typing for small-step direct reflection. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
Scala-virtualized. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berger |
Specification and verification of meta-programs. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Katayama |
An analytical inductive functional programming system that avoids unintended programs. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hirzel, Bugra Gedik |
Streams that compose using macros that oblige. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz |
Translating flowcharts to non-deterministic languages. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Püschel |
Compiling math to fast code. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana N. Xu |
Hybrid contract checking via symbolic simplification. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Degen, Peter Thiemann, Stefan Wehr |
The interaction of contracts and laziness. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey William Hamilton, Neil D. Jones |
Distillation with labelled transition systems. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edvard K. Karlsen, Einar W. Høst, Bjarte M. Østvold |
Finding and fixing Java naming bugs with the lancelot eclipse plugin. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
Obfuscation by partial evaluation of distorted interpreters. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
Polynomial-time inverse computation for accumulative functions with multiple data traversals. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Incremental resource usage analysis. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |
Composing transformations for instrumentation and optimization. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá |
Well-typed narrowing with extra variables in functional-logic programming. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
Functional programs as compressed data. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Takumi Goto, Isao Sasano |
An approach to completing variable names for implicitly typed functional languages. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky |
StagedSAC: a case study in performance-oriented DSL development. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Voigtländer |
Ideas for connecting inductive program synthesis and bidirectionalization. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
COSTABS: a cost and termination analyzer for ABS. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero |
A program transformation for returning states in functional-logic programs. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Æ. Mogensen |
Partial evaluation of the reversible language janus. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Consel |
DiaSuite: a paradigm-oriented software development approach. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Martin-Martin |
Type classes in functional logic programming. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
Verified resource guarantees using COSTA and KeY. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siau-Cheng Khoo, Jeremy G. Siek (eds.) |
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011 |
PEPM |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Jonsson, Johan Nordlander |
Taming code explosion in supercompilation. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen |
iTasks for a change: type-safe run-time change in dynamically evolving workflows. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Pacheco, Alcino Cunha |
Calculating with lenses: optimising bidirectional transformations. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer |
Strictification of circular programs. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard |
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
Ordering multiple continuations on the stack. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuta Ikeda, Susumu Nishimura |
Calculating tree navigation with symmetric relational zipper. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
Allocation removal by partial evaluation in a tracing JIT. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Chitil |
A semantics for lazy assertions. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Wang, Verónica Gaspes |
An embedded language for programming protocol stacks in embedded systems. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto |
Adaptation-based programming in java. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Mustafa Elsheikh, Spencer Smith |
A generative geometric kernel. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Jacob Johannsen, Ian Zerny |
A walk in the semantic park. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Moss, Dan Page |
Bridging the gap between symbolic and efficient AES implementations. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
cao, memoisation, vectorisation, aes |
| 1 | Fritz Henglein |
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy |
| 1 | Lennart Augustsson |
O, partial evaluator, where art thou? |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
applications, haskell, partial evaluator |
| 1 | Christopher Brown 0002, Simon J. Thompson |
Clone detection and elimination for Haskell. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code |
| 1 | Hugh Anderson, Siau-Cheng Khoo |
Regular approximation and bounded domains for size-change termination. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
affine size-change termination, termination analysis |
| 1 | Florian Haftmann |
From higher-order logic to Haskell: there and back again. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
code generation, theorem proving, haskell, higher-order logic, isabelle |
| 1 | John P. Gallagher, Janis Voigtländer (eds.) |
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 |
PEPM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann 0008 |
IGOR2 - an analytical inductive functional programming system: tool demo. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
igor2, inductive programming, tool demo, example |
| 1 | Stefan Holdermans, Jurriaan Hage |
Making "stricterness" more relevant. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis |
| 1 | José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh |
Optimizing generics is easy! |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
optimization, benchmark, functional programming, haskell, generic programming |
| 1 | Xin Li, Mizuhito Ogawa |
Conditional weighted pushdown systems and applications. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
weighted pushdown systems, model checking |
| 1 | Ivan Lazar Miljenovic |
The SourceGraph program. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
graph theory, static analysis, haskell, software analysis, call graph |
| 1 | Johannes Rudolph, Peter Thiemann |
Mnemonics: type-safe bytecode generation at run time. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
embedded domain specific language, program generation, metaprogramming |
| 1 | María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
A fold/unfold transformation framework for rewrite theories extended to CCT. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
code carrying theory, fold/unfold transformation, rewriting logic |
| 1 | Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero |
Context-sensitive analysis of obfuscated x86 executables. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
analysis of bianries, deobfuscation, obfuscation, context-sensitive analysis |
| 1 | Jeremy G. Siek |
General purpose languages should be metalanguages. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, reflection, metaprogramming, multi-stage programming |
| 1 | Adrián Riesco, Juan Rodríguez-Hortalá |
Programming with singular and plural non-deterministic functions. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic functions, semantics, program transformation, term rewriting, maude |
| 1 | Martin Hofmann 0008, Emanuel Kitzelmann |
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
higherorder functions, igorii, inductive programming, program schemes, haskell |
| 1 | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
A3PAT, an approach for certified automated termination proofs. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
termination, term rewriting, automated reasoning, formal proof |
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
| 1 | Nabil El Boustani, Jurriaan Hage |
Corrective hints for type incorrect generic Java programs. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
compilers, heuristics, error correcting, type checking, java generics, error reporting |
| 1 | Matthieu Martel |
Program transformation for numerical precision. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision |
| 1 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Shifting the stage: staging with delimited control. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects |
| 1 | Cristina David, Cristian Gherghina, Wei-Ngan Chin |
Translation and optimization for a core calculus with exceptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
optimization, translation, exceptions |
| 1 | Umut A. Acar |
Self-adjusting computation: (an overview). |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity |
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
| 1 | Leon Evers, Jan Kuper |
Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, partial evaluation |
| 1 | Jácome Cunha, João Saraiva, Joost Visser |
From spreadsheets to relational databases and back. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bi-directional transformations, type-safe data migration, functional programming, spreadsheets |
| 1 | Alberto Pardo, João Paulo Fernandes, João Saraiva |
Shortcut fusion rules for the derivation of circular and higher-order monadic programs. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
monadic programming, shortcut fusion, deforestation, program calculation, circular programming |
| 1 | Neha Rungta, Eric G. Mercer |
Guided model checking for programs with polymorphism. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
error discovery, heuristics, software model checking, guided search |
| 1 | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
Designing aspects for side-effect localization. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
lazy semantics, aspect-oriented programming, side-effect |
| 1 | Robert Glück |
Is there a fourth Futamura projection? |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
Futamura projections, cogen approach, generator self-generation, domain-specific languages, bootstrapping, program specialization, compiler generators, self-application |
| 1 | Robert J. Simmons, Frank Pfenning |
Linear logical approximations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bottom-up linear logic programming, abstract interpretation, operational semantics |
| 1 | Philippe Moret, Walter Binder, Alex Villazón |
CProf: customizable calling context cross-profiling for embedded java processors. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
cross-profiling, embedded java processors, java virtual machine, bytecode instrumentation |
| 1 | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
Type-based specialization of xml transformations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
types, xml, tree automata, program specialization |
| 1 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
| 1 | Germán Puebla, Germán Vidal (eds.) |
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 |
PEPM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Bidirectional data-flow analyses, type-systematically. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics |
| 1 | Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz |
Program analysis for bug detection using parfait: invited talk. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
partial evaluation, symbolic analysis, constant propagation |
| 1 | Philippe Moret, Walter Binder, Alex Villazón |
CCCP: complete calling context profiling in virtual execution environments. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
calling context profiling, native code, java virtual machine, bytecode instrumentation |
| 1 | Andrew Moss, Dan Page |
Program interpolation. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
dynamic feedback, program interpolation, program optimization |
| 1 | Huiqing Li, Simon J. Thompson |
Clone detection and removal for Erlang/OTP within a refactoring environment. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
wrangler, program transformation, program analysis, refactoring, erlang, duplicated code |
| 1 | Nabil El Boustani, Jurriaan Hage |
Improving type error messages for generic java. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
compilers, type checking, java generics, error reporting |
| 1 | Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
| 1 | Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary |
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
statically typed two-level languages, synthesizability, verilog elaboration, code generation, hardware description languages |
| 1 | Boris Feigin, Alan Mycroft |
Jones optimality and hardware virtualization: a report on work in progress. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
Jones optimality, virtual machines, virtualization, full abstraction |
| 1 | Shin-Cheng Mu |
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
maximum segment density, maximum segment sum, program derivation |
| 1 | Torben Æ. Mogensen |
Semi-inversion of functional parameters. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
semi-inversion, program transformation, inversion, higher-order functions |
| 1 | Jurriaan Hage, Stefan Holdermans |
Heap recycling for lazy languages. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, lazy functional programming, type-based program analysis |
| 1 | Huiqing Li, Simon J. Thompson |
Tool support for refactoring functional programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang |
| 1 | Isabella Mastroeni, Damiano Zanardini |
Data dependencies and program slicing: from syntax to abstract semantics. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
abstract non-interference, abstract interpretation, program slicing, dependency analysis |
| 1 | Ping Zhu, Siau-Cheng Khoo |
Specialization for applications using shared libraries. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
run-time specialization, shared libraries |
| 1 | Alessandro Warth, James R. Douglass, Todd D. Millstein |
Packrat parsers can support left recursion. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
left recursion, packrat parsing |
| 1 | Ando Saabas, Tarmo Uustalu |
Proof optimization for partial redundancy elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination |
| 1 | Jakob Puchinger, Peter J. Stuckey |
Automating branch-and-bound for dynamic programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
dynamic programming, branch and bound, automatic transformation |
| 1 | Robert Glück, Oege de Moor (eds.) |
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008 |
PEPM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan Jancura, Daniel Prusa |
Generic framework for integration of programming languages into netbeans ide. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
framework for visualization of programming languages, parser |
| 1 | Stephen A. Edwards, Jia Zeng |
Static elaboration of recursion for concurrent software. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
SHIM, static elaboration, concurrency, recursion, partial evaluation |
| 1 | Nik Sultana, Simon J. Thompson |
Mechanical verification of refactorings. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
refactoring, Isabelle/HOL |
Displaying result #1 - #100 of 351 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")