The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1972-1997 (16) 1998-2005 (16) 2006-2008 (19) 2009-2014 (17) 2015-2018 (17) 2019 (2)
Publication types (Num. hits)
article(28) incollection(1) inproceedings(54) phdthesis(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 69 occurrences of 55 keywords

Results
Found 87 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
77Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich Dependent types and program equivalence. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, program equivalence
48Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. Search on Bibsonomy FoIKS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Andrzej S. Murawski About the undecidability of program equivalence in finitary languages with state. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Idealized Algol, Game semantics, program equivalence
37Sorin Craciunescu Proving the Equivalence of CLP Programs. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
32Richard G. Hamlet What Can We Learn by Testing a Program? Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Johannes Oetsch, Hans Tompits Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Jörg Pührer, Hans Tompits Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Gabriel Scherer Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes). Search on Bibsonomy 2016   RDF
24Guilhem Jaber A logical study of program equivalence. (Une étude logique de l'équivalence de programmes). Search on Bibsonomy 2014   RDF
23Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen Compilation and Equivalence of Imperative Objects. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Anna Zaks, Amir Pnueli CoVaC: Compiler Validation by Program Analysis of the Cross-Product. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Andrzej S. Murawski On Program Equivalence in Languages with Ground-Type References. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Christoph M. Hoffmann, Lawrence H. Landweber A Completeness Theorem for Straight-Line Programs with Structured Variables. Search on Bibsonomy J. ACM The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
21Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Westley Weimer, Zachary P. Fry, Stephanie Forrest Leveraging program equivalence for adaptive program repair: Models and first results. Search on Bibsonomy ASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Jonathan M. Lever Program Equivalence, Program Development and Integrity Checking. Search on Bibsonomy LOPSTR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
20Tomás Feder, Yatin P. Saraiya Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. Search on Bibsonomy ICDT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
18Søren B. Lassen, Paul Blain Levy Typed Normal Form Bisimulation. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Andrei V. Klimov Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence
17Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Reasoning about evolving nonmonotonic knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
17Peng Li, Steve Zdancewic Downgrading policies and relaxed noninterference. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
17James E. Kimble Jr., Lee J. White An Alternative Source Code Analysis. Search on Bibsonomy ICSM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF testing, Reengineering, code analysis, legacy code, program equivalence
17Luc Bougé On the Semantics of Languages for Massively Parallel SIMD Architectures. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence
17Huibiao Zhu, Jifeng He, Jonathan P. Bowen From algebraic semantics to denotational semantics for Verilog. Search on Bibsonomy ISSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Unifying theories of programming, Denotational semantics, Semantic relating, Verilog, Algebraic semantics
17Huibiao Zhu, Jifeng He, Jonathan P. Bowen From Algebraic Semantics to Denotational Semantics for Verilog. Search on Bibsonomy ICECCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
15Cristina Matache Program Equivalence for Algebraic Effects via Modalities. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
15Ofer Strichman Special issue: program equivalence. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich Program Equivalence (Dagstuhl Seminar 18151). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Valeria Vignudelli Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk). Search on Bibsonomy FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. Search on Bibsonomy CPP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
15Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva 0001 Deciding Probabilistic Program Equivalence in NetKAT. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
15Jiang Ming 0002, Fangfang Zhang, Dinghao Wu, Peng Liu 0005, Sencun Zhu Deviation-Based Obfuscation-Resilient Program Equivalence Checking With Application to Software Plagiarism Detection. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu A language-independent proof system for full program equivalence. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Dirk Pattinson, Lutz Schröder Program Equivalence is Coinductive. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia Efficient algorithms for program equivalence for confluent concurrent constraint programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Yuxin Deng, Yu Zhang Program equivalence in linear contexts. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Dorel Lucanu, Vlad Rusu Program equivalence by circular reasoning. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Shuvendu K. Lahiri, Rohit Sinha 0001, Chris Hawblitzel Automatic Rootcausing for Program Equivalence Failures in Binaries. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Steffen Lösch Program equivalence in functional metaprogramming via nominal Scott domains. Search on Bibsonomy 2015   RDF
15Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu A Language-Independent Proof System for Mutual Program Equivalence. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Guillaume Iooss, Christophe Alias, Sanjay V. Rajopadhye On Program Equivalence with Reductions. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Dorel Lucanu, Vlad Rusu Program Equivalence by Circular Reasoning. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia Efficient computation of program equivalence for confluent concurrent constraint programming. Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Nikos Tzevelekos Program equivalence in a simple language with state. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Robert Goldblatt, Marcel Jackson Well-structured program equivalence is highly undecidable. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
15Robert Goldblatt, Marcel Jackson Well structured program equivalence is highly undecidable Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Yuxin Deng, Yu Zhang Program Equivalence in Linear Contexts Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
15Tom Verhoeff 3D turtle geometry: artwork, theory, program equivalence and symmetry. Search on Bibsonomy IJART The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Nikos Tzevelekos Program Equivalence with Names. Search on Bibsonomy Modelling, Controlling and Reasoning About State The full citation details ... 2010 DBLP  BibTeX  RDF
15Tiago M. Nascimento, Charles B. Prado, Davidson R. Boccardo, Luiz F. R. C. Carmo, Raphael C. S. Machado Program Equivalence Using Neural Networks. Search on Bibsonomy BIONETICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
15Sudipta Kundu, Zachary Tatlock, Sorin Lerner Proving optimizations correct using parameterized program equivalence. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compiler optimization, correctness, translation validation
15David Sabel Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2008 DBLP  BibTeX  RDF
15Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
15Iman Narasamdya Establishing program equivalence in translation validation for optimizing compilers. Search on Bibsonomy 2007   RDF
15Miquel Bertran, Francesc-Xavier Babot, August Climent An Input/Output Semantics for Distributed Program Equivalence Reasoning. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Andrzej S. Murawski, Joël Ouaknine On Probabilistic Program Equivalence and Refinement. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Verification of Source Code Transformations by Program Equivalence Checking. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Jan A. Bergstra, Inge Bethke Polarized Process Algebra and Program Equivalence. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
15Gavin M. Bierman Program equivalence in a linear functional language. Search on Bibsonomy J. Funct. Program. The full citation details ... 2000 DBLP  BibTeX  RDF
15Andrew M. Pitts Operational Semantics and Program Equivalence. Search on Bibsonomy APPSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Jan A. Bergstra, Jerzy Tiuryn, John V. Tucker Floyds Principle, Correctness Theories and Program Equivalence. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
15L. Csirmaz Determinateness of Program Equivalence over Peano Axioms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
15Jan A. Bergstra, Jan Willem Klop Formal Proof Systems for Program Equivalence. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1982 DBLP  BibTeX  RDF
15Jan A. Bergstra, J. Terlouw A Characterization of Program Equivalence in Terms of Hoare's Logic. Search on Bibsonomy GI Jahrestagung The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
15Guy Cousineau, Patrice Enjalbert Program Equivalence and Provability. Search on Bibsonomy MFCS The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
15Gérard Berry, Bruno Courcelle Program Equivalence and Canonical Forms in Stable Discrete Interpretations. Search on Bibsonomy ICALP The full citation details ... 1976 DBLP  BibTeX  RDF
15Barry K. Rosen Program Equivalence and Context-Free Grammars. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
15Barry K. Rosen Program Equivalence and Context-Free Grammars Search on Bibsonomy SWAT (FOCS) The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
14Dexter Kozen Kleene Algebra with Tests. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF specification, dynamic logic, Kleene algebra
13Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel Adequacy of Compositional Translations for Observational Semantics. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Yuxi Fu, Xiaoju Dong Formalizing the Environment View of Process Equivalence. Search on Bibsonomy CIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Dexter Kozen Nonlocal Flow of Control and Kleene Algebra with Tests. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF control flow, Kleene algebra, program restructuring, Kleene algebra with tests
12Jifeng He, Huibiao Zhu, Geguang Pu A model for BPEL-like languages. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF observation-oriented semantics, BPEL, compensation, fault handling, algebraic laws
12E. J. Younger, Keith H. Bennett, Z. Luo A Formal Transformation and Refinement Method for Concurrent Programs. Search on Bibsonomy ICSM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Concurrency, program transformations, re-engineering
12Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan Bounds on the Propagation of Selection into Logic Programs. Search on Bibsonomy PODS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
10Miroslaw Truszczynski, Stefan Woltran Hyperequivalence of logic programs with respect to supported models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
10Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li An Operational Approach to BPEL-like Programming. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling
10Antonio Brogi On the Semantics of Logic Program Composition. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
8Andrzej S. Murawski, Nikos Tzevelekos Full Abstraction for Reduced ML. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh Verification of Supervisory Control Software Using State Proximity and Merging. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
8Huibiao Zhu, Jifeng He, Jing Li Unifying Denotational Semantics with Operational Semantics for Web Services. Search on Bibsonomy ICDCIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin An Operational Semantics of an Event-Driven System-Level Simulator. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Huibiao Zhu, Geguang Pu, Jifeng He A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
8Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner Formal Verification of Dead Code Elimination in Isabelle/HOL. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
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