The following pages link to (Q5621937):
Displayed 15 items.
- A survey of state vectors (Q458456) (← links)
- A logic covering undefinedness in program proofs (Q790610) (← links)
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- The formal definition of a real-time language (Q1153685) (← links)
- The congruence of two programming language definitions (Q1155952) (← links)
- Formal languages of labelled graphs (Q1228365) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Pair grammars, graph languages and string-to-graph translations (Q2550295) (← links)
- A note on infinite trees (Q2557124) (← links)
- (Q3674077) (← links)
- (Q4094351) (← links)
- Time required for reference count management in retention block-structured languages. Part 1 (Q4188701) (← links)
- Modeling of storage properties of higher-level languages (Q5679694) (← links)