Pages that link to "Item:Q1377322"
From MaRDI portal
The following pages link to Essential concepts of algebraic specification and program development (Q1377322):
Displaying 14 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- An algebraic approach to population-based evolutionary algorithm generation (Q2520618) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Algebraic Signatures Enriched by Dependency Structure (Q2890335) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- (Q3317106) (← links)
- COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS (Q5316305) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)
