Communicating sequential processes
Communicating sequential processes
Predicate calculus and program semantics
Predicate calculus and program semantics
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Beauty is our business
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of Program Analysis
Principles of Program Analysis
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Polynomial Relators (Extended Abstract)
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
A Functional Semantics of Attribute Grammars
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
'Galculator': functional prototype of a Galois-connection based proof assistant
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Calculating Invariants as Coreflexive Bisimulations
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
A Single Complete Relational Rule for Coalgebraic Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
Algebraic properties of logical relations on partially ordered sets are studied. It is shown how to construct a logical relation that extends a collection of base Galois connections to a Galois connection of arbitrary higher-order type. "Theorems-for-free" is used to show that the construction ensures safe abstract interpretation of parametrically polymorphic functions. The properties are used to show how abstract interpretations of program libraries can be constructed.