|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 478 occurrences of 286 keywords
|
|
|
Results
Found 453 publication records. Showing 453 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Francisco Javier López-Fraguas, Enrique Martin-Martin |
Typing as functional-logic evaluation. |
PEPM |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhenjiang Hu |
Practical aspects of bidirectional graph transformations. |
PEPM |
2013 |
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 | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano 0001 |
Polynomial-time inverse computation for accumulative functions with multiple data traversals. |
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 | Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
Scala-virtualized. |
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 | 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 | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |
Composing transformations for instrumentation and optimization. |
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 | Markus Püschel |
Compiling math to fast code. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berger 0001 |
Specification and verification of meta-programs. |
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 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Incremental resource usage analysis. |
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 0001, Peter Thiemann 0001, Stefan Wehr |
The interaction of contracts and laziness. |
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 | 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 | Oleg 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 |
PEPM |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Hirzel, Bugra Gedik |
Streams that compose using macros that oblige. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Kazutaka Matsuda, Ayumi Shinohara |
Functional programs as compressed data. |
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 | 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 | Jacques Carette, Aaron Stump |
Towards typing for small-step direct reflection. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Jacob Johannsen, Ian Zerny |
A walk in the semantic park. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Chitil |
A semantics for lazy assertions. |
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 | Yan Wang 0077, 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 | Rafael Caballero 0001 |
A program transformation for returning states in functional-logic programs. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
Allocation removal by partial evaluation in a tracing JIT. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Jonsson, Johan Nordlander |
Taming code explosion in supercompilation. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Torben Æ. Mogensen |
Partial evaluation of the reversible language janus. |
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 | João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer |
Strictification of circular programs. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Martin-Martin |
Type classes in functional logic programming. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vardoulakis, Olin Shivers |
Ordering multiple continuations on the stack. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Mustafa Elsheikh, W. Spencer Smith |
A generative geometric kernel. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel |
DiaSuite: a paradigm-oriented software development approach. |
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 | Martin C. Rinard |
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. |
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 0001, Alcino Cunha |
Calculating with lenses: optimising bidirectional transformations. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
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 | 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 | 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 | Xin Li 0010, Mizuhito Ogawa |
Conditional weighted pushdown systems and applications. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
weighted pushdown systems, model checking |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
embedded domain specific language, program generation, metaprogramming |
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 | Adrián Riesco 0001, 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 | Stefan Holdermans, Jurriaan Hage |
Making "stricterness" more relevant. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis |
1 | Ivan Lazar Miljenovic |
The SourceGraph program. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
graph theory, static analysis, haskell, software analysis, call graph |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 0001, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
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 | 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 | 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 | 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 | Jácome Cunha, João Saraiva, Joost Visser 0001 |
From spreadsheets to relational databases and back. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bi-directional transformations, type-safe data migration, functional programming, spreadsheets |
1 | Cherif R. 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 | 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 | 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 | Robert J. Simmons, Frank Pfenning |
Linear logical approximations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bottom-up linear logic programming, abstract interpretation, operational semantics |
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 | 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 | 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 | 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 | 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 | Nic Volanschi, Christian Rinderknecht |
Unparsed patterns: easy user-extensibility of program manipulation tools. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
unparsed patterns, pattern matching, source code |
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 | 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 | Nik Sultana, Simon J. Thompson |
Mechanical verification of refactorings. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
refactoring, Isabelle/HOL |
1 | Simplice Djoko Djoko, Rémi Douence, Pascal Fradet |
Aspects preserving properties. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
semantics, proof, temporal properties, aspect weaving |
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 | 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 | Jennifer Gillenwater, Gregory Malecha, Cherif R. 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 | Torben Æ. Mogensen |
Semi-inversion of functional parameters. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
semi-inversion, program transformation, inversion, higher-order functions |
1 | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
Closing the stage: from staged code to typed closures. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism |
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 | Ping Zhu, Siau-Cheng Khoo |
Specialization for applications using shared libraries. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
run-time specialization, shared libraries |
1 | Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley |
Securing web applications with static and dynamic information flow tracking. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
model checking, static analysis, web applications, pattern matching, dynamic analysis, SQL injection, cross-site scripting |
Displaying result #101 - #200 of 453 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|