scientific article; zbMATH DE number 1650458
From MaRDI portal
Publication:2742791
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- scientific article; zbMATH DE number 946288
- Core Java. Incl. 1 CD-ROM
- scientific article; zbMATH DE number 1122098
- scientific article; zbMATH DE number 1830094
- scientific article; zbMATH DE number 1138729
- scientific article; zbMATH DE number 2020419
- scientific article; zbMATH DE number 1314308
- scientific article; zbMATH DE number 1111433
Cited in
(43)- A rewriting logic approach to operational semantics
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Towards proving type safety of \(\mathrm{C}^{\#}\)
- An assertion-based proof system for multithreaded Java
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Axioms for strict and lazy functional programs
- Verified bytecode verifiers.
- Verified bytecode verification and type-certifying compilation
- Product optimization in stepwise design
- Flashix: modular verification of a concurrent and crash-safe flash file system
- Computation on structures. Behavioural theory, logic, complexity
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- An assembler and disassembler framework for Java\(^{\text{TM}}\) programmers
- Executable JVM model for analytical reasoning: A study
- A guarded fragment for abstract state machines
- Formal specification and verification of the C\(\#\) thread model
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- A formally verified compiler back-end
- Core Java. Incl. 1 CD-ROM
- A rewriting logic approach to operational semantics (extended abstract)
- Concurrent abstract state machines
- The rewriting logic semantics project: a progress report
- ASM-based formal design of an adaptivity component for a cloud system
- The subject-oriented approach to software design and the abstract state machines method
- Neutralizing semantic ambiguities of function block architecture by modeling with ASM
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types
- Abstract state machines and the inquiry process
- The rewriting logic semantics project: a progress report
- scientific article; zbMATH DE number 1122098 (Why is no real title available?)
- Ambient abstract state machines with applications
- scientific article; zbMATH DE number 946288 (Why is no real title available?)
- Proof-theoretic notions for software maintenance
- A data-flow approach to test multi-agent ASMs
- A high-level modular definition of the semantics of C\(_{\sharp}\)
- scientific article; zbMATH DE number 2221816 (Why is no real title available?)
- An algebraic approach to the design of compilers for object-oriented languages
- An operational semantics for object-oriented concepts based on the class hierarchy
- Tool-assisted specification and verification of typed low-level languages
- Formalizing non-interference for a simple bytecode language in Coq
- Towards proving type safety of .NET CIL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2742791)
