The following pages link to (Q4134899):
Displayed 7 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Synthetic programming (Q761788) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- Local constraints in programming languages. I: Syntax (Q1143180) (← links)
- The Schorr-Waite marking algorithm revisited (Q1146527) (← links)
- On correct refinement of programs (Q1157144) (← links)
- An order-algebraic definition of knuthian semantics (Q4181304) (← links)