The following pages link to Predicative programming Part II (Q3723676):
Displaying 11 items.
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Predicative specifications for functional programs describing communicating networks (Q579917) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- A generalized notion of semantic independence (Q674287) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Program composition via unification (Q1331925) (← links)
- Programs are predicates (Q3347251) (← links)
- Implementing ALGOL 68 predicates (Q3694660) (← links)
- Interfaces between languages for communicating systems (Q5204354) (← links)
- Program composition via unification (Q5204356) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)