scientific article; zbMATH DE number 4008457

MaRDI QIDQ3758891zbMATH OpenFDO

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

Publication date 1986

zbMATH Keywords

posetsGalois connectioncorrectness of compilers

Mathematics Subject Classification ID

Data structures (68P05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) 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)

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

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)