The following pages link to (Q5531462):
Displayed 16 items.
- A survey of state vectors (Q458456) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Splitting atoms safely (Q879357) (← links)
- Operational semantics: concepts and their expression (Q1028973) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
- Combining type disciplines (Q1319505) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- John McCarthy (1927--2011) (Q1941856) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- Quantitative fuzzy semantics (Q2546503) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- (Q5119396) (← links)
- Computing with relational machines (Q5269008) (← links)