Search results for "PEPM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin	A practical and precise inference and specializer for array bound checks elimination.	PEPM	2008	DBLP DOI BibTeX RDF	size properties, dependent types, safety verification
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	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	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	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
1	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
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	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	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	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
1	Ping Zhu, Siau-Cheng Khoo	Towards constructing reusable specialization components.	PEPM	2007	DBLP DOI BibTeX RDF	component-based software development, program specialization
1	Jacques Carette, Michael Kucera	Partial evaluation of Maple.	PEPM	2007	DBLP DOI BibTeX RDF	residual theorems, partial evaluation, Maple, symbolic computation
1	Tom Rothamel, Yanhong A. Liu	Efficient implementation of tuple pattern based retrieval.	PEPM	2007	DBLP DOI BibTeX RDF
1	Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein	Tasks: language support for event-driven programming.	PEPM	2007	DBLP DOI BibTeX RDF
1	G. Ramalingam, Eelco Visser (eds.)	Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007	PEPM	2007	DBLP BibTeX RDF
1	Oege de Moor, Elnar Hajiyev, Mathieu Verbaere	Object-oriented queries over software systems: (abstract of invited talk).	PEPM	2007	DBLP DOI BibTeX RDF
1	Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha	Concoqtion: indexed types now!	PEPM	2007	DBLP DOI BibTeX RDF
1	Alcino Cunha, Joost Visser 0001	Transformation of structure-shy programs: applied to XPath queries and strategic functions.	PEPM	2007	DBLP DOI BibTeX RDF	XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization
1	Geoff W. Hamilton	Distillation: extracting the essence of programs.	PEPM	2007	DBLP DOI BibTeX RDF	superlinear improvement, program transformation, termination, generalisation, tail-recursion
1	Stephan Ellner, Walid Taha	The semantics of graphical languages.	PEPM	2007	DBLP DOI BibTeX RDF
1	Ralf Lämmel	Style normalization for canonical X-to-O mappings.	PEPM	2007	DBLP DOI BibTeX RDF	functional object-oriented programming, schema-organization styles, XML schema, software transformation, LINQ
1	Dongxi Liu, Zhenjiang Hu, Masato Takeichi	Bidirectional interpretation of XQuery.	PEPM	2007	DBLP DOI BibTeX RDF	bidirectional programming, XML, transformations, XQuery, view update problem
1	Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien	Behavioral similarity matching using concrete source code templates in logic queries.	PEPM	2007	DBLP DOI BibTeX RDF	logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
1	Germán Vidal	Quasi-terminating logic programs for ensuring the termination of partial evaluation.	PEPM	2007	DBLP DOI BibTeX RDF	quasi-termination, partial deduction
1	Anders Møller, Michael I. Schwartzbach	XML graphs in program analysis.	PEPM	2007	DBLP DOI BibTeX RDF
1	Tetsuo Yokoyama, Robert Glück	A reversible programming language and its invertible self-interpreter.	PEPM	2007	DBLP DOI BibTeX RDF	Janus, non-standard interpreter hierarchy, reversible programming language, self-interpreter, reversible computing, program inversion
1	João Paulo Fernandes, João Saraiva	Tools and libraries to model and manipulate circular programs.	PEPM	2007	DBLP DOI BibTeX RDF	intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
1	Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi	Lowering: a static optimization technique for transparent functional reactivity.	PEPM	2007	DBLP DOI BibTeX RDF	FRP, FrTime, lowering, optimization, static analysis, functional programming, scheme, lifting, reactive programming
1	Claudio Ochoa, Germán Puebla	Poly-controlled partial evaluation in practice.	PEPM	2007	DBLP DOI BibTeX RDF	resource-aware specialization, logic programming, partial evaluation
1	James R. Cordy	Source transformation, analysis and generation in TXL.	PEPM	2006	DBLP DOI BibTeX RDF	TXL, rapid prototyping, migration, translators, test-driven development, term rewriting, re-engineering, software analysis, rule-based programming, source transformation
1	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
1	Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo	Program transformation by solving recurrences.	PEPM	2006	DBLP DOI BibTeX RDF	efficient time complexity, recurrences with one or multiple parameters, program transformation
1	Martin Erwig, Zhe Fu, Ben Pflaum	Generic programming in Fortran.	PEPM	2006	DBLP DOI BibTeX RDF	software maintenance, reuse, Fortran, haskell, scientific computing, generic programming, program generation
1	Todd L. Veldhuizen	Tradeoffs in metaprogramming.	PEPM	2006	DBLP DOI BibTeX RDF	program generators, metaprogramming, metalanguages
1	Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser	Stratego/XT 0.16: components for transformation systems.	PEPM	2006	DBLP DOI BibTeX RDF	pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
1	Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine	The Ecce and Logen partial evaluators and their web interfaces.	PEPM	2006	DBLP DOI BibTeX RDF	logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
1	Matias Madou, Ludo Van Put, Koen De Bosschere	LOCO: an interactive code (De)obfuscation tool.	PEPM	2006	DBLP DOI BibTeX RDF	security, binary rewriting, code obfuscation
1	Thomas W. Reps, Gogul Balakrishnan, Junghee Lim	Intermediate-representation recovery from low-level code.	PEPM	2006	DBLP DOI BibTeX RDF
1	Stephen A. Edwards	Using program specialization to speed SystemC fixed-point simulation.	PEPM	2006	DBLP DOI BibTeX RDF	fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization
1	Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer	A disciplined approach to aspect composition.	PEPM	2006	DBLP DOI BibTeX RDF
1	Jonathan Cooper, Steve McKeever, Alan Garny	On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.	PEPM	2006	DBLP DOI BibTeX RDF
1	Emmanuel Geay, Eran Yahav, Stephen J. Fink	Continuous code-quality assurance with SAFE.	PEPM	2006	DBLP DOI BibTeX RDF
1	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
1	Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao 0001, Jing Zhang	Core role-based access control: efficient implementations by transformations.	PEPM	2006	DBLP DOI BibTeX RDF	complexity guarantees, optimization, access control, transformation, incrementalization
1	Christian Hammer 0001, Martin Grimme, Jens Krinke	Dynamic path conditions in dependence graphs.	PEPM	2006	DBLP DOI BibTeX RDF	dynamic chopping, information flow control, dynamic slicing, path condition
1	John Hatcliff, Frank Tip (eds.)	Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006	PEPM	2006	DBLP BibTeX RDF
1	Micah Lewis, Michael Jones	A dead variable analysis for explicit model checking.	PEPM	2006	DBLP DOI BibTeX RDF
1	Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001	Resource usage analysis for a functional language with exceptions.	PEPM	2006	DBLP DOI BibTeX RDF	resource usage analysis, type system, type inference, exception, effect system
1	Meng Wang 0002, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
1	Nevin Heintze, Peter Sestoft (eds.)	Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004	PEPM	2004	DBLP BibTeX RDF
1	Gustavo J. Bobeff, Jacques Noyé	Component specialization.	PEPM	2004	DBLP DOI BibTeX RDF	component generator, program slicing, partial evaluation, component-based software development
1	Robert L. Akers, Ira D. Baxter, Michael Mehlich	Invited application paper: re-engineering C++ components via automatic program transformation.	PEPM	2004	DBLP DOI BibTeX RDF	compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
1	J. Gregory Morrisett	Invited talk: what's the future for proof-carrying code?	PEPM	2004	DBLP DOI BibTeX RDF
1	Jarle Hulaas, Walter Binder	Program transformations for portable CPU accounting and control in Java.	PEPM	2004	DBLP DOI BibTeX RDF	Java, program transformations, resource management, bytecode engineering
1	Yannis Smaragdakis, Shan Shan Huang, David Zook	Program generators and the tools to make them.	PEPM	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
1	Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi	A programmable editor for developing structured documents based on bidirectional transformations.	PEPM	2004	DBLP DOI BibTeX RDF	bidirectional transformation, functional programming, editor, view updating, document engineering
1	Ehud Shapiro	Invited talk: injecting life with computers.	PEPM	2004	DBLP DOI BibTeX RDF	computer diagnosis and therapy, autonomous computers, DNA computing, molecular computers
1	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PEPM	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
1	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
1	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
1	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via logic program specialisation.	PEPM	2004	DBLP DOI BibTeX RDF	Cogen approach, database access control, program transformation, datalog, partial deduction
1	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
1	Alberto Pettorossi, Maurizio Proietti	A theory of totally correct logic program transformations.	PEPM	2004	DBLP DOI BibTeX RDF	partial and total correctness, program transformation rules, well-founded orderings, logic programming
1	Sam Kamin	Invited application paper: program generation considered easy.	PEPM	2004	DBLP DOI BibTeX RDF	Java, run-time code generation
1	Dirk Beyer 0001, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Invited talk: the blast query language for software verification.	PEPM	2004	DBLP DOI BibTeX RDF	software verification, software specification
1	Susumu Nishimura	Fusion with stacks and accumulating parameters.	PEPM	2004	DBLP DOI BibTeX RDF	accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks
1	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
1	Helle Markmann Andersen, Ulrik Pagh Schultz	Declarative specialization for object-oriented-program specialization.	PEPM	2004	DBLP DOI BibTeX RDF	declarative specialization, Java, partial evaluation
1	Gary Daugherty	Invited application paper: a proposal for the specialization of HA/DRE systems.	PEPM	2004	DBLP DOI BibTeX RDF	fast path, specialization model, specialization state, optimization, pattern, refactoring, partial evaluation, aspect
1	Julia L. Lawall, Gilles Muller, Hervé Duchesne	Invited application paper: language design for implementing process scheduling hierarchies.	PEPM	2004	DBLP DOI BibTeX RDF	operating system extension, scheduling hierarchies, verification, domain-specific languages, process scheduling
1	Claudio Ochoa, Josep Silva, Germán Vidal	Dynamic slicing based on redex trails.	PEPM	2004	DBLP DOI BibTeX RDF	lazy functional logic programming, redex trails, slicing
1	Armin Rigo	Representation-based just-in-time specialization and the psyco prototype for python.	PEPM	2004	DBLP DOI BibTeX RDF	just-in-time specialization, unlift, representation, python
1	Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde	Fast partial evaluation of pattern matching in strings.	PEPM	2003	DBLP DOI BibTeX RDF	partial evaluation, string matching, memoization
1	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Extending sized type with collection analysis.	PEPM	2003	DBLP DOI BibTeX RDF	collection analysis, mixed constraints, sized type, polymorphism, fix-point
1	Matthew Allen, Susan Horwitz	Slicing java programs that throw and catch exceptions.	PEPM	2003	DBLP DOI BibTeX RDF	java exceptions, program slicing, program dependence graph
1	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
1	Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy	CodeBricks: code fragments as building blocks.	PEPM	2003	DBLP DOI BibTeX RDF	multistage programming, program transformation, reflection, domain specific language, generative programming, program generation, metaprogramming
1	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
1	Yanhong A. Liu, Scott D. Stoller	Optimizing Ackermann's function by incrementalization.	PEPM	2003	DBLP DOI BibTeX RDF	tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization
1	Michael Leuschel (eds.)	Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003	PEPM	2003	DBLP DOI BibTeX RDF
1	John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby	Slicing and partial evaluation of CORBA component model designs for avionics system.	PEPM	2003	DBLP DOI BibTeX RDF	distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing
1	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
1	Marius Bozga, Radu Iosif, Yassine Lakhnech	Storeless semantics and alias logic.	PEPM	2003	DBLP DOI BibTeX RDF	heap models, weakest precondition, total correctness
1	Lunjin Lu	Path dependent analysis of logic programs.	PEPM	2002	DBLP DOI BibTeX RDF	Call strings, Abstract interpretation, Context sensitive analysis
1	Yanhong A. Liu, Scott D. Stoller	Program optimization using indexed and recursive data structures.	PEPM	2002	DBLP DOI BibTeX RDF
1	Gustavo Gomez, Yanhong A. Liu	Automatic time-bound analysis for a higher-order language.	PEPM	2002	DBLP DOI BibTeX RDF
1	Gilles Barthe, Tarmo Uustalu	CPS translating inductive and coinductive types.	PEPM	2002	DBLP DOI BibTeX RDF	classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
1	Roberto Giacobazzi, Isabella Mastroeni	Compositionality in the puzzle of semantics.	PEPM	2002	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation
1	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
1	Claus Brabrand, Michael I. Schwartzbach	Growing languages with metamorphic syntax macros.	PEPM	2002	DBLP DOI BibTeX RDF
1	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
1	Peter Thiemann 0001 (eds.)	Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002	PEPM	2002	DBLP DOI BibTeX RDF
1	Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel	Towards bridging the gap between programming languages and partial evaluation.	PEPM	2002	DBLP DOI BibTeX RDF
1	Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones	Mixed-initiative interaction = mixed computation.	PEPM	2002	DBLP DOI BibTeX RDF	interaction sequences, partial evaluation, VoiceXML, Mixed-initiative interaction, dialog management
1	Germán Vidal	Cost-augmented narrowing-driven specialization.	PEPM	2002	DBLP DOI BibTeX RDF
1	Christian H. Bischof, Paul D. Hovland, Boyana Norris	Implementation of automatic differentiation tools.	PEPM	2002	DBLP DOI BibTeX RDF	Semantic Transformation, Automatic Differentiation, Component Software, intermediate representation, source transformation
1	Jens P. Secher, Morten Heine Sørensen	From checking to inference via driving and dag grammars.	PEPM	2002	DBLP DOI BibTeX RDF	inference, supercompilation, program inversion
1	Manuvir Das	Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk).	PEPM	2000	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	From Recursion to Iteration: What are the Optimizations?	PEPM	2000	DBLP DOI BibTeX RDF
1	John P. Gallagher, Julio C. Peralta	Using Regular Approximations for Generalisation During Partial Evalution.	PEPM	2000	DBLP DOI BibTeX RDF

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