Pages that link to "Item:Q1772776"
From MaRDI portal
The following pages link to Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776):
Displaying 5 items.
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- Work-sensitive dynamic complexity of formal languages (Q2233429) (← links)
- A Module System for Domain-Specific Languages (Q2931279) (← links)
- Programs=data=first-class citizens in a computational world (Q2941589) (← links)
