Semantics with applications: an appetizer.
From MaRDI portal
Recommendations
- On some applications of the semantic evaluation method.
- scientific article; zbMATH DE number 5997451
- A reinterpretation of the semilattice semantics with applications
- scientific article; zbMATH DE number 4208062
- scientific article; zbMATH DE number 3942991
- scientific article; zbMATH DE number 3898864
Cited in
(17)- An abstract contract theory for programs with procedures
- Reasoning about iteration and recursion uniformly based on big-step semantics
- Temporal reasoning through automatic translation of tock-CSP into timed automata
- Planning-based knowing how: a unified approach
- Nondeterministic semantics of compound diagrams
- Weakest precondition reasoning for expected run-times of probabilistic programs
- Teaching semantics with a proof assistant: no more LSD trip proofs
- Asynchronous distributed execution of fixpoint-based computational fields
- Secure guarded commands
- Divergences on monads for relational program logics
- Fully Abstract and Robust Compilation
- Implementing a CTL model checker with \(\mu \mathcal{G}\), a language for programming graph neural networks
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- A small-step operational semantics for GP 2
- Probabilistic output analyses for deterministic programs -- reusing existing non-probabilistic analyses
- Transfinite semantics in the form of greatest fixpoint
- Special issue: Applied sementics. Selected papers based on the presentations at the 3r workshop of applied semantics (APPSEM 2005), Frauenchiemsee, Germany, September 12--15, 2005.
This page was built for publication: Semantics with applications: an appetizer.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q884946)
