Relational analysis of software systems

Abstract

We will present relational tools for analysing software systems, based on the Haskell datatype for relations defined in Chapter 5 of Doets and Van Eijck, The Haskell Road to Logic, Maths and Programming, King’s College Publications, London 2004 [DvE04]. The main purpose is to demonstrate some very concrete applications of abstract relations, and to make the point that functional programming is highly relevant to software engineering

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The Haskell Road to Logic, Maths and Programming.Kees Doets & Jan van Eijck - 2004 - Texts in Computing.
16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics.Reinhard Muskens - 2017 - A Programming Road to Logic, Maths, Language, and Philosophy : A Tribute to Jan van Eijck on the Occasion of His Retirement.
Logic Programming: Proceedings of the Eighth International Conference.Kōichi Furukawa - 1991 - MIT Press.
Extensions of Logic Programming Third International Workshop, Elp '92, Bologna, Italy, February 26-28, 1992 : Proceedings'.Evelina Lamma & Paola Mello - 1993 - Springer Verlag.
Inductive Logic Programming: From Machine Learning to Software Engineering.Francesco Bergadano & Daniele Gunetti - 1996 - MIT Press.
An Introduction to Logic Programming Through Prolog.J. M. Spivey - 1996
Decision Tables in Software Engineering.Richard B. Hurley - 1983 - Van Nostrand Reinhold Company.
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.
Information modeling aspects of software development.Timothy R. Colburn - 1998 - Minds and Machines 8 (3):375-393.

Analytics

Added to PP
2009-01-28

Downloads
13 (#1,321,788)

6 months
13 (#258,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references