Browse by Subject "rewriting logic"

  • Rosu, Grigore; Ellison, Chucky M.; Schulte, Wolfram (2009-07-25)
    Rewriting logic semantics (RLS) is a definitional framework in which a programming language is defined as a rewrite theory: the algebraic signature defines the program configurations, the equations define structural ...

    application/pdf

    application/pdfPDF (395Kb)
  • ��erb��nu����, Traian Florin; Rosu, Grigore (2010-09-22)
    Term rewriting proved to be a simple, uniform and powerful computational paradigm. Rewrite rules independently match and apply anywhere, unconstrained by the context. Rewriting is particularly appealing for defining ...

    application/pdf

    application/pdfPDF (755Kb)
  • Cholewa, Andrew Russel (2015-04-28)
    Maude-NPA is a narrowing-based model checker for analysing cryptographic protocols in the Dolev-Yao model modulo equations. Maude-NPA is a powerful analyzer that is sound and never returns spurious counter-examples. ...

    application/pdf

    application/pdfPDF (801Kb)
  • Hills, Mark (2010-01-06)
    Software is becoming a pervasive presence in our lives, powering computing systems in the home, in businesses, and in safety-critical settings. In response, languages are being defined with support for new domains and ...

    application/pdf

    application/pdfPDF (1Mb)
  • Guti��rrez, Ra��l; Meseguer, Jos��; Rocha, Camilo (2011-12-22)
    Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic ...

    application/pdf

    application/pdfPDF (496Kb)
  • Serbanuta, Traian Florin (2011-01-14)
    A plethora of programming languages have been and continue to be developed to keep pace with hardware advancements and the ever more demanding requirements of software development. As these increasingly sophisticated ...

    application/pdf

    application/pdfPDF (4Mb)
  • Meseguer, Jos��; Rosu, Grigore (2005-09)
    Rewriting logic is a flexible and expressive logical framework that unifies denotational semantics and SOS in a novel way, avoiding their respective limitations and allowing very succinct semantic definitions. The fact ...

    application/pdf

    application/pdfPDF (807Kb)
  • Sasse, Ralf (2012-09-18)
    This dissertation tackles crucial issues of web browser security. Web browsers are now a central part of the trusted code base of any end-user computer system, as more and more usage shifts to services provided by web ...

    application/pdf

    application/pdfPDF (2Mb)
  • Rocha, Camilo (2013-02-03)
    This dissertation presents a significant step forward in automatic and semi-automatic reasoning for reachability properties of rewriting logic specifications, a major research goal in the current state of the art. In ...

    application/pdf

    application/pdfPDF (2Mb)