Pages that link to "Item:Q610397"
From MaRDI portal
The following pages link to Foundations of algebraic specification and formal software development. (Q610397):
Displaying 28 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation (Q465491) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Exception tracking in an open world (Q724930) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- CoFI with Don Sannella (Q724933) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Software tools for automation of parallel programming on the basis of algebra of algorithms (Q895102) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)
