Pages that link to "Item:Q5402520"
From MaRDI portal
The following pages link to Formal models for some features of programming languages (Q5402520):
Displaying 12 items.
- Computational and attribute models of formal languages (Q912638) (← links)
- A theoretical model of a high-level programming language (Q1103396) (← links)
- Semantics of probabilistic programs (Q1159979) (← links)
- Program equivalence and context-free grammars (Q1221492) (← links)
- Prototyping realistic programming languages based on formal specifications (Q1386439) (← links)
- Representing structural language features in formal meta-languages (Q2219401) (← links)
- Toward complete programming language descriptions that are both formal and understandable (Q3314961) (← links)
- (Q3710486) (← links)
- (Q4040912) (← links)
- Formal models of stepwise refinements of programs (Q4727399) (← links)
- Formal Models, Languages and Applications (Q5395183) (← links)
- (Q5480165) (← links)