Automated temporal verification for algebraic effects
From MaRDI portal
Publication:6176569
DOI10.1007/978-3-031-21037-2_5zbMath1524.68103OpenAlexW4312688668MaRDI QIDQ6176569
Darius Foo, Wei-Ngan Chin, Yahui Song
Publication date: 25 July 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://zenodo.org/record/7009119
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Programming with algebraic effects and handlers
- Trace-based verification of imperative programs with I/O
- Rewriting extended regular expressions
- A generalization of jumps and labels
- The type and effect discipline
- The inclusion problem for regular expressions
- A synchronous effects logic for temporal verification of pure Esterel
- Inferring Algebraic Effects
- Symbolic Solving of Extended Regular Expression Inequalities.
- Contextual effects for version-consistent dynamic software updating and safe concurrent programming
- ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED
- Regular Linear Temporal Logic
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
- Type and behaviour reconstruction for higher-order concurrent programs
- Partial derivatives of regular expressions and finite automata constructions
- Abstract interpretation from Büchi automata
- Local temporal reasoning
- Rewriting regular inequalities
- Effect handlers via generalised continuations
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Doo bee doo bee doo
- A Fixpoint Logic and Dependent Effects for Temporal Property Verification
- Handlers in action
- Type directed compilation of row-typed algebraic effects
- Do be do be do
- Types and trace effects of higher order programs
- Programming Languages and Systems
- Automated Reasoning with Analytic Tableaux and Related Methods
- Programming Languages and Systems
- Shallow effect handlers
This page was built for publication: Automated temporal verification for algebraic effects
