Pages that link to "Item:Q1235968"
From MaRDI portal
The following pages link to Complementary definitions of programming language semantics (Q1235968):
Displaying 4 items.
- A simple relation between relational and predicate transformer semantics for nondeterministic programs (Q1156476) (← links)
- Hierarchical development of programming languages (Q1161053) (← links)
- An algebraic approach to semantics of programming languages (Q1346625) (← links)
- Methodical specification of abstract data types via rewriting systems (Q4745236) (← links)
