Pages that link to "Item:Q1956949"
From MaRDI portal
The following pages link to Interpretable program specification language (Q1956949):
Displaying 3 items.
- Description semantics in utopist language and automatic program synthesis (Q1822227) (← links)
- Intermediate representation of programs with type specification based on pattern matching (Q2217191) (← links)
- NP-SPEC: An executable specification language for solving all problems in NP (Q2755406) (← links)