The following pages link to (Q3969890):
Displaying 50 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- Coupled Meir-Keeler type contraction in metric spaces with an application to partial metric spaces (Q331610) (← links)
- Specifying termination in CSP (Q407510) (← links)
- An axiomatic treatment of SIMD assignment (Q583875) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Using fixed-point semantics to prove retiming lemmas (Q685101) (← links)
- A uniform treatment of order of evaluation and aggregate update (Q685390) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- A demonstrably correct compiler (Q749202) (← links)
- The semantics of incomplete databases as an expression of preferences (Q753482) (← links)
- Semantics of interference control (Q759473) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- On conservative extensions of syntax in system development (Q811131) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- Well-founded semantics for Boolean grammars (Q840701) (← links)
- A common fixed point theorem for weak contractive maps in \(G_{p}\)-metric spaces (Q895182) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- A short proof of the lexical addressing algorithm (Q917326) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Applications of the complexity space to the general probabilistic divide and conquer algorithms (Q947570) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- A construction of one-point bases in extended lambda calculi (Q1029098) (← links)
- Axiomatising finite delay operators (Q1055190) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- The description of the characteristics of the structure and the quantity in fixed pansystems theorems (Q1066124) (← links)
- A characterization of Plotkin's order in powerdomains, and some of its properties (Q1069707) (← links)
- A structural operational semantics for an Edison-like language (Q1075044) (← links)
- A simple fixpoint argument without the restriction to continuity (Q1075045) (← links)
- A view of programming languages as symbiosis of meaning and computations (Q1079942) (← links)
- On merging software extensions (Q1082067) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- SIMD language design using prescriptive semantics (Q1110309) (← links)
- Semantics of production systems (Q1110314) (← links)
- Existential continuation (Q1115643) (← links)
- The semantics of lazy functional languages (Q1124368) (← links)
- Petri nets, event structures and domains. I (Q1148680) (← links)
- The independence of control structures in abstract programming systems (Q1155949) (← links)
- The congruence of two programming language definitions (Q1155952) (← links)
- Some primitives for the portable programming of array and vector processors (Q1157697) (← links)
- Free upper regular bands (Q1158953) (← links)
- A dual problem to least fixed points (Q1160150) (← links)
