Pages that link to "Item:Q405750"
From MaRDI portal
The following pages link to Programming languages and operational semantics. A concise overview (Q405750):
Displaying 5 items.
- Elements for a formal model of intentional systems (Q529643) (← links)
- Programming languages and their definition. Selected papers ed. by C. B. Jones (Q799361) (← links)
- Essentials of programming languages. (Q2736592) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems (Q6671788) (← links)