Twenty years of rewriting logic
Author:
Top Cited Papers
- 1 October 2012
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 81 (7-8) , 721-781
Abstract
No abstract availableKeywords
Funding Information
- Universitat Politècnica de València
- National Science Foundation (CNS 08-31064)
- National Science Foundation (CCF 09-05584)
- National Science Foundation (CNS 07-16638)
- National Science Foundation (CNS 08-34709)
- National Science Foundation (CNS 09-04749)
- Air Force Office of Scientific Research (FA8750-11-2-0084)
- Air Force Office of Scientific Research (PAID-02-11)
This publication has 311 references indexed in Scilit:
- Rewriting Logic Semantics and Verification of Model TransformationsLecture Notes in Computer Science, 2009
- Formal Specification and Analysis of Timing Properties in Software Systems2009
- Discovering Application-Level Insider Attacks Using Symbolic Execution2009
- Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities Using Pointer Taintedness Semantics2004
- Formal JVM Code Analysis in JavaFAN2004
- Formalizing and Proving Semantic Relations between Specifications by ReflectionLecture Notes in Computer Science, 2004
- Formal Analysis of Java Programs in JavaFAN2004
- Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools2004
- Higher Order Unification via Explicit SubstitutionsInformation and Computation, 2000
- Combining Symbolic Constraint Solvers on Algebraic DomainsJournal of Symbolic Computation, 1994