JavaFAN

swMATH1934MaRDI QIDQ14483

No author found.

Described by source

• Computer Aided Verification
• Algebraic Methodology and Software Technology

Related Items (28)

Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ The rewriting logic semantics project ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics ⋮ A trusted mechanised JavaScript specification ⋮ The tccp Interpreter ⋮ Unnamed Item ⋮ Memory Policy Analysis for Semantics Specifications in Maude ⋮ Memory Representations in Rewriting Logic Semantics Definitions ⋮ Rewriting Approximations for Fast Prototyping of Static Analyzers ⋮ An overview of the K semantic framework ⋮ Fast machine words in Isabelle/HOL ⋮ All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ A rewriting logic approach to operational semantics ⋮ Animating the Formalised Semantics of a Java-Like Language ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Automated Reasoning ⋮ Algebraic Methodology and Software Technology ⋮ Towards an Efficient Implementation of Tree Automata Completion ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract) ⋮ Partial Order Reduction for Rewriting Semantics of Programming Languages ⋮ One-Path Reachability Logic

This page was built for software: JavaFAN