Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Theory and applications of inverting functions as folds
Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
Normal forms for binary relations
Theoretical Computer Science
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
An Exercise on Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebra of Programming Using Dependent Types
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Algebra of programming in agda: Dependent types for relational program derivation
Journal of Functional Programming
Which Mathematics for the Information Society?
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Logic training through algorithmic problem solving
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Hi-index | 0.00 |