scientific article; zbMATH DE number 4008457
From MaRDI portal
Publication:3758891
zbMATH Open0622.06004MaRDI QIDQ3758891FDOQ3758891
George E. Strecker, Austin Melton, David A. Schmidt
Publication date: 1986
Title of this publication is not available (Why is that?)
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
- scientific article; zbMATH DE number 2104640
Data structures (68P05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (30)
- Generating Isotone Galois Connections on an Unstructured Codomain
- FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES
- On the antisymmetry of Galois embeddings
- Galois connecting call-by-value and call-by-name
- Programming from Galois connections
- CPS-translation as adjoint
- Fuzzy Galois connections on fuzzy posets
- Title not available (Why is that?)
- Pair algebras and Galois connections.
- Trace-Relating Compiler Correctness and Secure Compilation
- Connections
- Some applications of topology to program semantics
- Fuzzy relations and fuzzy relational databases
- Galois connections for bilattices
- Title not available (Why is that?)
- Verification by augmented abstraction: The automata-theoretic view
- Fully Abstract and Robust Compilation
- Title not available (Why is that?)
- Lagois connections -- a counterpart to Galois connections
- Title not available (Why is that?)
- 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
- Upper Adjoints for Fast Inter-procedural Variable Equalities
- Bottom-up abstract interpretation of logic programs
- Regular algebra applied to language problems
- 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)
