The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program transformation (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1982 (20) 1983-1985 (18) 1986-1988 (30) 1989-1990 (32) 1991-1992 (35) 1993-1994 (41) 1995 (24) 1996 (22) 1997 (31) 1998 (24) 1999 (17) 2000 (25) 2001 (33) 2002 (43) 2003 (55) 2004 (57) 2005 (55) 2006 (35) 2007 (48) 2008 (44) 2009 (47) 2010-2011 (19) 2012-2013 (29) 2014 (15) 2015-2016 (32) 2017-2018 (23) 2019 (2)
Publication types (Num. hits)
article(169) book(2) incollection(3) inproceedings(654) phdthesis(22) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1360 occurrences of 577 keywords

Results
Found 856 publication records. Showing 856 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
141Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
79Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama Program transformation by templates based on term rewriting. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF inductive theorem proving, tree homomorphism, program transformation, term rewriting
75Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan An unfold/fold transformation framework for definite logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inductive theorem proving, Logic programming, program transformation, unfolding, folding
61Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel Enabling control over adaptive program transformation for dynamically evolving mobile software validation. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code
57Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi Program Optimizations and Transformations in Calculation Form. Search on Bibsonomy GTTSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
56Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi Deterministic Higher-Order Patterns for Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Higher-order pattern matching, Fusion transformation, Program transformation, Functional programming, Program derivation
55Chiyan Chen, Hongwei Xi Implementing typeful program transformations. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
55Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48David Sands Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
44Martin P. Ward, Hussein Zedan Slicing as a program transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FermaT, formal methods, reverse engineering, program transformation, reengineering, Slicing
43David Sands Total Correctness by Local Improvement in the Transformation of Functional Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF operational equivalence, unfold-fold, program transformation, correctness, improvement
43Deji Fatiregun, Mark Harman, Robert M. Hierons Evolving Transformation Sequences using Genetic Algorithms. Search on Bibsonomy SCAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Matthieu Martel Program transformation for numerical precision. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program transformation, abstract interpretation, compiler optimizations, floating-point numbers, numerical precision
42Fosca Giannotti, Manuel V. Hermenegildo A Technique for Recursive Invariance Detection and Selective Program Specification. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
42Shigeru Chiba Program Transformation with Reflection and Aspect-Oriented Programming. Search on Bibsonomy GTTSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Patrick Cousot Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Alexander Alexeyevich Bukatov Building the Program Parallelization System Based on a Very Wide Spectrum Program Transformation System. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Stephen Fitzpatrick, Terence J. Harmer, James M. Boyle Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation. Search on Bibsonomy CONPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Program Transformation and Program Derivation, Automatic Parallelization and Mapping, Functional Programming, Sparse Matrices
38Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen 0001, David Parello, Marc Sigler, Olivier Temam Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semi-automatic program transformation, Compiler optimization, automatic parallelization, polyhedral model
38Jing Zhang 0003 Supporting software evolution through model-driven program transformation. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model-driven program transformation, software evolution, model-driven software development
38Andrei P. Nemytykh, Victoria A. Pinchuk Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation
38Uwe Aßmann How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF optimization, specification, program transformation, Program analysis, graph rewrite systems
37Julian Richardson, Norbert E. Fuchs Development of Correct Transformation Schemata for Prolog Programs. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
37Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper Testability Transformation - Program Transformation to Improve Testability. Search on Bibsonomy Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi Parallelization with Tree Skeletons. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Parallel Skeletons, Tree Algorithms, Algorithm Derivation, Parallelization, Program Transformation
36Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo Unfolding in CHR. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program transformation, unfolding, constraint handling rules
36Harald Vogt, Aswin van den Berg, Arend Freije Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations. Search on Bibsonomy WAGA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
35Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
35Annalisa Bossi, Nicoletta Cocco Programs Without Failures. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF finitely failing derivations, program transformation, program verification
35Eelco Visser Stratego: A Language for Program Transformation Based on Rewriting Strategies. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu Program Repair as Sound Optimization of Broken Programs. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi A fold/unfold transformation framework for rewrite theories extended to CCT. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF code carrying theory, fold/unfold transformation, rewriting logic
34Romain Robbes, Michele Lanza Example-Based Program Transformation. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser Stratego/XT 0.16: components for transformation systems. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pretty-printers, rewriting strategies, transformation components, compilers, program transformation, program analysis, term rewriting, program optimization, parsers, transformation systems
33Søren Debois Imperative-program transformation by instrumented-interpreter specialization. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication
33Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
32Mila Dalla Preda, Roberto Giacobazzi Control Code Obfuscation by Abstract Interpretation. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
31Alberto Pettorossi, Maurizio Proietti Program Transformation for Program Verification. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  BibTeX  RDF
31Robert L. Akers, Ira D. Baxter, Michael Mehlich, Brian J. Ellis, Kenn R. Luecke Reengineering C++ Component Models via Automatic Program Transformation. Search on Bibsonomy WCRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
31Robert L. Akers, Ira D. Baxter, Michael Mehlich Invited application paper: re-engineering C++ components via automatic program transformation. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compilers, C++, patterns, migration, legacy systems, re-engineering, software analysis, rewrite rules, abstract syntax trees, component architectures, software transformation
31J. Allan Yang, Young-il Choo Metalinguistic features for formal parallel-program transformation. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Nicoletta De Francesco, Antonella Santone A Transformation System for Concurrent Processes. Search on Bibsonomy Acta Inf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Thomas W. Reps, Louis B. Rall Computational Divided Differencing and Divided-Difference Arithmetics. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF computational differentiation, interpolation, program transformation, multivariate interpolation, round-off error, divided differences
31Phillip C.-Y. Sheu, Song Bong Yoo A Knowledge-based Program Transformation System Search on Bibsonomy CAiSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Thorsten Ehm Transformational Construction of Correct Pointer Algorithms. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Paterson/Hewitt, pointer algorithms, destructive updates, program transformation
30Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
30Nikolay P. Varnovsky, Vladimir A. Zakharov On the Possibility of Provably Secure Obfuscating Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hard-core predicate, security, program transformation, mutual information, obfuscation, one-way function
30Doron A. Peled, Mathai Joseph A Compositional Approach for Fault-Tolerance Using Specification Transformation. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Wenjin Lu, Ulrich Furbach Disjunctive Logic Program = Horn Program + Control Program. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Jeffrey G. Gray, Jing Zhang 0003, Suman Roychoudhury, Ira D. Baxter C-SAW and genAWeave: a two-level aspect weaving toolsuite. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF aspect-oriented programming, software maintenance, program transformation, model-driven architecture
29Halime Büyükyildiz, Pierre Flener Generalised Logic Program Transformation Schemas. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Nicoletta De Francesco, Antonella Santone Unfold/Fold Transformations of Concurrent Processes. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
29Bernd Brassel, Sebastian Fischer, Frank Huch A Program Transformation for Tracing Functional Logic Computations. Search on Bibsonomy LOPSTR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Neil D. Jones The Essence of Program Transformation by Partial Evaluation and Driving. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Mila Dalla Preda, Roberto Giacobazzi Semantic-Based Code Obfuscation by Abstract Interpretation. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
28Andrei P. Nemytykh A note on elimination of simplest recursions. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF refal, functional programming languages, automatic program transformation
28Yuki Chiba, Takahito Aoto 0001 RAPT: A Program Transformation System Based on Term Rewriting. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Ethan Schuchman, T. N. Vijaykumar A program transformation and architecture support for quantum uncomputation. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF QLA, uncomputation, quantum computing
27Janis Voigtländer Using Circular Programs to Deforest in Accumulating Parameters. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
27Elvira Albert, César Ferri, Frank Steiner, Germán Vidal Improving Functional Logic Programs by Difference-Lists. Search on Bibsonomy ASIAN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program transformation, compiler optimization, functional logic programming
27Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo Program transformation by solving recurrences. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF efficient time complexity, recurrences with one or multiple parameters, program transformation
27Hong Tang 0004, Kai Shen, Tao Yang 0009 Program transformation and runtime support for threaded MPI execution on shared-memory machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines
27Farokh B. Bastani, Bojan Cukic Impact of program transformation on software reliability assessment. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
27Christoph W. Kessler Pattern-driven automatic program transformation and parallelization. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF PARAMAT system, sequential numeric codes, dense vectors, distributed memory message-passing multiprocessors, pattern recognition tool, pattern recognition, parallel algorithm, parallel programming, parallelization, software tools, distributed memory systems, automatic programming, program semantics, automatic program transformation
27Harald C. Gall, René Klösch Program transformation to enhance the reuse potential of procedural software. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF reverse engineering, program transformation, software reuse, reusable components
27Haklin Kim Program Transformation for the Longest Upsequence Set Problem. Search on Bibsonomy SAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF program transformation, program verification, logics of programs
27Francis Alexandre, Khaled Bsaïes, Jean-Pierre Finance, Alain Quéré Spes: A System for Logic Program Transformation. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Key-words program transformation, strategy, unfolding, folding
27Pascal Fradet, Daniel Le Métayer Compilation of Functional Languages by Program Transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF program transformation, continuations, combinators
27Ben Wegbreit Goal-Directed Program Transformation. Search on Bibsonomy POPL The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Analysis of programs, Evaluation in context, Execution analysis, Program analysiss, APL, Program transformation, Generalization, Lisp, Compiler optimization, Partial evaluation, Simplification, List processing, Very high level language, Optimizing transformations
27Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
27Ralf Lämmel, Joost Visser A Strafunski Application Letter. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats
27Ira D. Baxter, Robert L. Akers Component Architecture Reengineering by Program Transformation. Search on Bibsonomy ICSM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Yoshihiko Futamura, Zenjiro Konishi, Robert Glück WSDFU: Program Transformation System Based on Generalized Partial Computation. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Hongji Yang, Paul Luker, William C. Chu Code Understanding through Program Transformation for Reusable Component Identification. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Gordon Kotik, Lawrence Markosian Automating Software Analysis and Testing Using a Program Transformation System. Search on Bibsonomy Symposium on Testing, Analysis, and Verification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF C
26Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov Partial Evaluation for Common Intermediate Language. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
26Alain Darte, Guillaume Huard Complexity of Multi-dimensional Loop Alignment. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Complexity, Program Transformation, Retiming, Automatic Parallelization, Loop Optimization
26Ralf Lämmel, Joost Visser Typed Combinators for Generic Traversal. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program transformation, Genericity, combinators, traversal
26Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang Experience with Software Watermarking. Search on Bibsonomy ACSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF program-transformation attacks, heap-space usage, watermark retrieval time, protection technique, tamperproofing, Java, Java, data structures, security of data, execution times, obfuscation, dynamic data structures, code size, software watermarking, copy protection
26Jeffrey G. Gray, Jing Zhang 0003, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty Model-Driven Program Transformation of a Large Avionics Framework. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25John P. Gallagher, Rob van Glabbeek, Wendelin Serwe (eds.) Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, and Sixth International Workshop on Verification and Program Transformation Thessaloniki, Greece, 20th April 2018. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  BibTeX  RDF
25Robert Glück An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz Modeling a Cache Coherence Protocol with the Guarded Action Language. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Hubert Garavel, Lina Marsso Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Franco Mazzanti, Alessio Ferrari Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Josip Bozic, Lina Marsso, Radu Mateescu 0001, Franz Wotawa A Formal TLS Handshake Model in LNT. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders 0001, Mattias Ulbrich, Alexander Weigl Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Venkatesh Kannan, Geoff W. Hamilton Program Transformation to Identify List-Based Parallel Skeletons. Search on Bibsonomy VPT@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Alexei P. Lisitsa, Andrei P. Nemytykh Finite Countermodel Based Verification for Program Transformation (A Case Study). Search on Bibsonomy VPT@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Antonina Nepeivoda Verification of Multi-Party Ping-Pong Protocols via Program Transformation. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  BibTeX  RDF
25Michael Voss, Rudolf Eigenmann ADAPT: Automated De-Coupled Adaptive Program Transformation. Search on Bibsonomy ICPP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Alain J. Martin The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. Search on Bibsonomy Hardware Specification, Verification and Synthesis The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Martin P. Ward The FermaT Assembler Re-engineering Workbench. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language
24Michael Leuschel, Bern Martens, Danny De Schreye Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
24Jan Sparud, Colin Runciman Tracing Lazy Functional Computations Using Redex Trails. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF debugging, program transformation, Haskell, graph reduction
24Alcino Cunha, Jorge Sousa Pinto, José Proença A Framework for Point-Free Program Transformation. Search on Bibsonomy IFL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Danny De Schreye, Maurice Bruynooghe An Application of Abstract Interpretation in Source Level Program Transformation. Search on Bibsonomy PLILP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Thom W. Frühwirth Specialization of Concurrent Guarded Multi-set Transformation Rules. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23John Brant, Don Roberts The SmaCC transformation engine: how to convert your entire code base into a different programming language. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF code modernization, program transformation, refactoring, migration
Displaying result #1 - #100 of 856 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
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