Pages that link to "Item:Q610397"

The following pages link to Foundations of algebraic specification and formal software development. (Q610397):

Displaying 50 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)
• Essential concepts of algebraic specification and program development (Q1377322) (← links)
• Nominative data with ordered set of names (Q1650383) (← 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)
• CASL: the Common Algebraic Specification Language. (Q1853453) (← 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)
• Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
• Institutions for SQL database schemas and datasets (Q2185885) (← links)
• Term charters (Q2185890) (← links)
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
• Parallel rewriting of attributed graphs (Q2215963) (← links)
• Monographs, a category of graph structures (Q2237337) (← links)
• The institution-theoretic scope of logic theorems (Q2254570) (← links)
• MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
• Formalization of universal algebra in Agda (Q2333322) (← links)
• Refinement in hybridised institutions (Q2355385) (← links)
• Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
• Comorphisms of structured institutions (Q2445331) (← links)
• A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
• Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
• Refinement by Interpretation in a General Setting (Q2994492) (← links)
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
• Term-Generic Logic (Q3184738) (← links)
• Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
• Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
• Building Specifications in the Event-B Institution (Q5060190) (← links)
• Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
• Abstract Constraint Data Types (Q5256347) (← links)