Three improvements to the top-down solver
Article in Mathematical Structures in Computer Science (October 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Semantics, Logics, and Calculi
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Effect Systems Revisited—Control-Flow Algebra and Semantics
-
Altmetric BadgeChapter 2 Last Mile’s Resources
-
Altmetric BadgeChapter 3 Formal Modelling and Analysis of Socio-Technical Systems
-
Altmetric BadgeChapter 4 Static Timing Analysis – What is Special?
-
Altmetric BadgeChapter 5 An Automata-Based Approach to Trace Partitioned Abstract Interpretation
-
Altmetric BadgeChapter 6 Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression
-
Altmetric BadgeChapter 7 Abstract Interpretation of PEPA Models
-
Altmetric BadgeChapter 8 Static Analysis of Parity Games: Alternating Reachability Under Parity
-
Altmetric BadgeChapter 9 Game Theory and Industrial Control Systems
-
Altmetric BadgeChapter 10 Playing with Abstraction and Representation
-
Altmetric BadgeChapter 11 Schedulers are no Prophets
-
Altmetric BadgeChapter 12 Replicating Data for Better Performances in X10
-
Altmetric BadgeChapter 13 Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically
-
Altmetric BadgeChapter 14 Enhancing Top-Down Solving with Widening and Narrowing
-
Altmetric BadgeChapter 15 Modal Intersection Types, Two-Level Languages, and Staged Synthesis
-
Altmetric BadgeChapter 16 Rule Formats for Bounded Nondeterminism in Structural Operational Semantics