K Prover
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A rewriting logic approach to operational semantics
- Ott
- Stratego
- TinkerType
- JavaFAN
- CoqJVM
- ITP/OCL
- LOGEN
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Executable component-based semantics
- Symbolic execution based on language transformation
- OBJ3
- Rascal
- CIRC
- CafeOBJ
- Maude
- 2OBJ
- Agapia
- Logical approximation for program analysis
- Twenty years of rewriting logic
- ATGen
- MMT
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model
- PVeStA
- Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- Pattern eliminating transformations
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Lem
- SOCLE
- TRACER
- Toolchain
- A lazy desugaring system for evaluating programs with sugars
- Cyclone
- K tool
- K-Maude
- Tom
- PLT Redex
- MOMENT2
- Dist-Orc
- TSOTool
- Dynamic structural operational semantics
- vlogsl
- Mezzo
- PrologCheck
- TS#
- CoDeSe
- A Theoretical Foundation for Programming Languages Aggregation
- K-Java: a complete semantics of Java
- Maximally parallel contextual string rewriting
- A rewriting logic approach to operational semantics (extended abstract)
- A rewrite framework for language definitions and for generation of efficient interpreters
- Spoofax
- A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
- Language definitions as rewrite theories
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- From rewriting logic, to programming language semantics, to program verification
- LCLint
- Matching logic: an alternative to Hoare/Floyd logic
- K-Java
- KJS
- The rewriting logic semantics project: a progress report
- Towards a unified theory of operational and axiomatic semantics
- A Rewriting Logic Approach to Type Inference
- SymPLFIED
- XASM
- MGS
- Alms
- KLOVERA
- JavAdaptor
- JSLINQ
- The rewriting logic semantics project: a progress report
- SeLINQ
- Hackage
- Jinja Threads
- BicolanoMT
- coFJ
- Centaur
- CLDC
- Java+ITP
- SILF
- KOOL
- Ruler
- αCheck: A mechanized metatheory model checker
- Program logics and their applications
- Matching logic
- From hoare logic to matching logic reachability
- K-Maude: a rewriting based tool for semantics of programming languages
- Program equivalence by circular reasoning
- A generic framework for symbolic execution: a coinductive approach
- scientific article; zbMATH DE number 7204429 (Why is no real title available?)
- Formal methods for web security
- Memory representations in rewriting logic semantics definitions
- Defining and Executing P Systems with Structured Data in K
- A rewriting logic semantics approach to modular program analysis
- TSL
- Operational semantics of a weak memory model with channel synchronization
- LambdaMu-calculus
- KtoIsabelle
- eThor
This page was built for software: K Prover
