The following pages link to (Q2742791):
Displaying 37 items.
- Concurrent abstract state machines (Q303691) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- Formalizing non-interference for a simple bytecode language in Coq (Q931434) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions (Q1013086) (← links)
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- Verified bytecode verifiers. (Q1874284) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- Product optimization in stepwise design (Q2115903) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM (Q3455059) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)
- Abstract State Machines and the Inquiry Process (Q3586012) (← links)
- Proof-theoretic notions for software maintenance (Q4923374) (← links)
