Programming from Galois connections

Journal of Logic and Algebraic Programming

Volumn 81, Issue 6, 2012, Pages 680-704

  Mu, Shin Cheng ^a   Oliveira, José Nuno ^b  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

^b UNIVERSITY OF MINHO   (Portugal)

Author keywords

Algebra of programming; Galois connection; Program derivation

Indexed keywords

ADJOINTS; BEST APPROXIMATIONS; CALCULATING PROGRAMS; GALOIS CONNECTION; HARD PART; LINGUISTIC STRUCTURE; OPTIMAL SOLUTIONS; PROBLEM STATEMENT; PROGRAM DERIVATION;

OPTIMIZATION;

SPECIFICATIONS;

EID: 84864131215     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2012.05.003     Document Type: Conference Paper

References (28)

1. C. Aarts, R.C. Backhouse, P. Hoogendijk, E. Voermans, J. van der Woude, A relational theory of datatypes, December 1992. Available from: .
2. K. Backhouse, and R.C. Backhouse Safety of abstract interpretations for free, via logical relations and Galois connections SCP 15 1-2 2004 153 196
3. R.C. Backhouse On a relation on functions W. Dijkstra, Beauty is Our Business: A Birthday Salute to Edsger 1990 Springer-Verlag New York, NY, USA 7 18
4. R.C. Backhouse Galois connections and fixed point calculus Algebraic and Coalgebraic Methods in the Mathematics of Program Construction LNCS vol. 2297 2002 Springer-Verlag 89 148
5. R.C. Backhouse Program Construction: Calculating Implementations from Specifications 2003 John Wiley & Sons Inc. New York, NY, USA
6. R. Bird, O. de Moor, Algebra of Programming, Series in Computer Science, Prentice-Hall International, 1997. Available from: http://progtools.comlab.ox. ac.uk/members/oege/publications/aop97
7. R. Bird, O. de Moor, and P. Hoogend J. Funct. Programming 6 1 1996 1 28
8. K.-M. Chung, and H.-I. Lu An optimal algorithm for the maximum-density segment problem SIAM J. Comput. 34 2 2004 373 387
9. E.W. Dijkstra A Discipline of Programming 1976 Prentice-Hall
10. H. Doornbos, R. Backhouse, and J. van der Woude A calculational approach to mathematical induction TCS 179 1-2 1997 103 135 (Pubitemid 127450903)
11. K. Engelhardt, W.-P. de Roever, Simulation of specification statements in Hoare logic, in: Mathematical Foundations of Computer Science, LNCS, vol. 1113, 1996, pp. 324-335. (Pubitemid 126117903)
12. M.A. Ferreira, J.N. Oliveira, Variations on an alloy-centric tool-chain in verifying a journaled file system model, Technical Report DI-CCTC-10-07, University of Minho, January 2010.
13. P.J. Freyd, and A. Scedrov Categories, Allegories Mathematical Library vol. 39 1990 North-Holland
14. D. Jackson Software Abstractions: Logic, Language, and Analysis revised ed. 2012 The MIT Press Cambridge, MA ISBN 0-262-01715-2
15. C.B. Jones Software Development - A Rigorous Approach 1980 Prentice-Hall International
16. D.E. Knuth The Art of Computer Programming second ed. 1997/98 Addison/Wesley
17. J. Kramer Is abstraction the key to computing? Commun. ACM 50 4 2007 37 42 (Pubitemid 46494525)
18. A. Melton, D.A. Schmidt, and G.E. Strecker Galois connections and computer science applications Category Theory and Computer Programming LNCS vol. 240 1986 Springer 299 312
19. J.N. Oliveira Extended static checking by calculation using the pointfree transform Language Engineering and Rigorous Software Development LNCS vol. 5520 2009 Springer-Verlag 195 251
20. J.N. Oliveira, A Look at Program 'Galculation', Presentation at the IFIP WG 2.1 #65 Meeting, January 2010.
21. J.N. Oliveira, and C.J. Rodrigues Pointfree factorization of operation refinement FM 2006: Formal Methods LNCS vol. 4085 2006 Springer-Verlag 236 251 (Pubitemid 44502910)
22. E. Orłowska, and I. Rewitzky Algebras for Galois-style connections and their discrete duality Fuzzy Sets and Systems 161 9 2010 1325 1342 Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology
23. G. Schmidt Homomorphism and isomorphism theorems generalized from a relational perspective Relations and Kleene Algebra in Computer Science LNCS vol. 4136 2006 Springer 328 342 (Pubitemid 44577581)
24. P.F. Silva, and J.N. Oliveira 'Galculator': functional prototype of a Galois-connection based proof assistant PPDP'08 2008 ACM NY 44 55
25. A. Tarski, and S. Givant A Formalization of Set Theory without Variables 1987 American Mathematical Society
26. J.D. Ullman Principles of Database Systems 1981 Computer Science Press
27. M. Winter Products in categories of relations J. Logic Algebr. Program. 76 1 2008 145 159
28. N. Wirth Algorithms + Data Structures = Programs 1976 Prentice-Hall