The following pages link to (Q5653569):
Displayed 13 items.
- A survey of state vectors (Q458456) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- Correctness of the compiling process based on axiomatic semantics (Q1138902) (← links)
- The formal definition of a real-time language (Q1153685) (← links)
- On an equivalence between continuation and stack semantics (Q1247741) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. I (Q1253933) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. II (Q1256861) (← links)
- The concept of a linguistic variable and its application to approximate reasoning. III (Q1256862) (← links)
- Whither semantics? (Q2286732) (← links)
- (Q4109302) (← links)
- Some difficulties with abstract and concrete syntax (Q4153598) (← links)
- Some restrictions onW-grammars (Q4776853) (← links)