Pages that link to "Item:Q1386439"
From MaRDI portal
The following pages link to Prototyping realistic programming languages based on formal specifications (Q1386439):
Displaying 5 items.
- Language prototyping: An algebraic specification approach (Q2715823) (← links)
- Toward complete programming language descriptions that are both formal and understandable (Q3314961) (← links)
- Assessing the Expressivity of Formal Specification Languages (Q3623936) (← links)
- (Q4281594) (← links)
- A Generic Functional Representation of Sorted Trees Supporting Attribution (Q4916074) (← links)