Calculating A Path Algorithm (1992)


Download Links

by Roland C. Backhouse , A. J. M. Van Gasteren
Venue:Science of Computer Programming
Citations:10 - 2 self

Active Bibliography

9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992
7 Making Formality Work For Us – Roland Backhouse, Rijksuniversiteit Groningen - 1989
32 An Exploration of the Bird-Meertens Formalism – Roland Backhouse - 1989
12 Idempotent Interval Analysis and Optimization Problems – G. L. Litvinov, A. N. Sobolevskiĭ - 2001
3 Mapping Regular Recursive Algorithms To Fine-Grained Processor Arrays – Kumar Nanjunda Ganapathy - 1994
1 Calculating Graph Algorithms for Dominance and Shortest Path ⋆ – Ilya Sergey, Jan Midtgaard, Dave Clarke
Calculating Graph Algorithms by Abstract Interpretation – Ilya Sergey, Jan Midtgaard A, Dave Clarke B
ii Copyright c○2012 – Tiago Manuel, Louro Machado, De Simas, Alessandro Flammini, Johan Bollen, Tiago Manuel, Louro Machado, De Simas, Ana Maria, Miguel Jose, Maria Paula - 2012
Mathematical Morphology and Graphs: Application to Interactive Medical Image Segmentation – Directeurs Etienne, Decencière Dominique Jeulin, Jean Marie Becker, Marc Van Droogenbroeck, Francois Bidault, Thomas Sangild Sørensen, Etienne Decencière, Dominique Jeulin, Président Du Jury
Mathpad: A System for On-Line Preparation of Mathematical Documents – Roland Backhouse, Richard Verhoeven, Olaf Weber - 1995
Tool Support for the Calculational Method – Roland Backhouse And, Richard Verhoeven - 1996
1 Formal Feasibility Conditions for Earliest Deadline First Scheduling – Wim H. Hesselink, Ronald M. Tol - 1994
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
35 Elements of a Relational Theory of Datatypes – Roland Backhouse, Paul Hoogendijk - 1993
Category Theory as Coherently Constructive Lattice Theory: An Illustration – Roland Backhouse And, Marcel Bijsterveld - 1995
Fixed-Point Calculus – Chritiene Aarts, Roland Backhouse, Eerke Boiten, Henk Doornbos, Netty van Gasteren, Rik van Geldrop, Paul Hoogendijk, Ed Voermans, Jaap van der Woude - 1994
4 Mathematical Induction Made Calculational – Roland Backhouse, Henk Doornbos - 1994
3 Constructive Lattice Theory – Roland Backhouse - 1993