scientific article; zbMATH DE number 4008457

MaRDI QIDQ3758891zbMATH OpenFDO

Authors Austin Melton, David A. Schmidt, George E. Strecker

Publication date 1986

zbMATH Keywords

correctness of compilersGalois connectionposets

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2118880
• scientific article; zbMATH DE number 3995741
• scientific article; zbMATH DE number 2149937
• scientific article; zbMATH DE number 4125502
• Programming from Galois connections
• Programming from Galois connections
• Galois theory, splitting fields and computer algebra
• scientific article; zbMATH DE number 4087786
• scientific article; zbMATH DE number 2104640

Cited in

(31)

• CPS-translation as adjoint
• Fuzzy relations and fuzzy relational databases
• Bottom-up abstract interpretation of logic programs
• Lagois connections -- a counterpart to Galois connections
• Lambda-dropping: Transforming recursive equations into programs with block structure
• On the antisymmetry of Galois embeddings
• On the construction of adjunctions between a fuzzy preposet and an unstructured set
• Programming from Galois connections
• Galois connections for bilattices
• Bridging the gap between fair simulation and trace inclusion
• Pre-Galois connection on coalgebras for generic component refinement
• Pair algebras and Galois connections.
• Programming from Galois connections
• Some applications of topology to program semantics
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• scientific article; zbMATH DE number 1543342 (Why is no real title available?)
• scientific article; zbMATH DE number 2087342 (Why is no real title available?)
• scientific article; zbMATH DE number 2090019 (Why is no real title available?)
• FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES
• Trace-relating compiler correctness and secure compilation
• On the definition of suitable orderings to generate adjunctions over an unstructured codomain
• Generating isotone Galois connections on an unstructured codomain
• Upper Adjoints for Fast Inter-procedural Variable Equalities
• Fuzzy Galois connections on fuzzy posets
• Verification by augmented abstraction: The automata-theoretic view
• Galois connecting call-by-value and call-by-name
• Connections
• Fully Abstract and Robust Compilation
• Proving implications by algebraic approximation
• Operators on Pavelka's algebras induced by fuzzy relations
• Regular algebra applied to language problems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3758891)