Programatica Tools

Directory tools/property

The README file is displayed below the directory index.
NameLast modifiedSize
Parent Directory  -
AST/31-Mar-2006 03:34 -
Flags.ghc24-Jan-2004 00:55 43
HuMakefile04-Jan-2009 11:18 646
Main.hs11-Oct-2001 01:36 2.1K
Makefile02-Feb-2005 00:38 1.0K
Makefile.ghc-4.0828-Apr-2001 03:02 3.6K
Makefile.old25-Mar-2002 23:40 1.5K
PPfeCmds.hs11-Oct-2005 01:09 1.0K
PPfeInstances.hs24-Jan-2004 00:55 225
PPfeMain.hs11-Oct-2005 01:09 1.1K
Plogic.html31-Mar-2006 03:33 4.6K
TI/31-Mar-2006 03:34 -
command/01-Jun-2002 01:51 -
defs/31-Mar-2006 03:34 -
myhugs07-Jun-2002 01:22 48
parse2/11-Oct-2005 01:09 -
pfe/02-Jun-2005 04:10 -
ppfe.hs24-Jan-2004 01:15 197
syntax/31-Mar-2006 03:34 -
tests/12-Aug-2006 01:30 -
transforms/21-Jul-2005 00:02 -
tstTiProp.hs07-Dec-2001 23:38 523

Tools for Haskell extended with property declarations

What is in this directory (property)

The code in this directory defines an extended version of Haskell that has declaration of properties. The syntax is defined by extending the structures defined in the directory ../base. The corresponding code for type checking etc is reused.

The main tool, ppfe, reuses the extensible front-end defined in the directory ../pfe.

The language provided for describing properties is P-logic. A separate page describes the P-logic syntax, as implemented by PFE.

Authors: various
Contact: TH