The following pages link to (Q4133080):
Displaying 39 items.
- Semantics of interference control (Q759473) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- A short proof of the lexical addressing algorithm (Q917326) (← links)
- On infinite computations in denotational semantics (Q1051414) (← links)
- Continuation semantics for flowgraph equations (Q1080651) (← links)
- On merging software extensions (Q1082067) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- Fully abstract submodels of typed lambda calculi (Q1095880) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- The semantics of lazy functional languages (Q1124368) (← links)
- The congruence of two programming language definitions (Q1155952) (← links)
- Some primitives for the portable programming of array and vector processors (Q1157697) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. II (Q1159461) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable (Q1162807) (← links)
- Fixed point theorems and semantics: A folk tale (Q1166268) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- On a generalized product for domains (Q1311968) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Stability, sequentiality and demand driven evaluation in dataflow (Q1346605) (← links)
- Equivalence of formal semantics definition methods (Q1355752) (← links)
- Kleene's Logic with equality (Q1603370) (← links)
- Incorporating static analysis in a combinator-based compiler (Q1823653) (← links)
- Direct semantics and exceptions define jumps and coroutines (Q1824407) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Recursive programs and denotational semantics in absolute logics of programs (Q2639051) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- Abstract interpretation from a denotational-semantics perspective (Q2805148) (← links)
- Denotational semantics of mixed computation processes for a structural programming language (Q3034846) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q3657461) (← links)
- A Theory of Pointers for the UTP (Q5505599) (← links)
- On the transformation between direct and continuation semantics (Q5890072) (← links)
