Programatica Tools

Directory tools/property

The README file is displayed below the directory index.
NameLast modifiedSize
Parent Directory  -
Plogic.html2020-07-22 12:40 4.6K
Makefile.ghc-4.082001-04-28 03:02 3.6K
Main.hs2001-10-11 01:36 2.1K
Makefile.old2002-03-25 23:40 1.5K
PPfeMain.hs2005-10-11 01:09 1.1K
Makefile2005-02-02 00:38 1.0K
PPfeCmds.hs2005-10-11 01:09 1.0K
HuMakefile2009-01-04 11:18 646
tstTiProp.hs2001-12-07 23:38 523
PPfeInstances.hs2004-01-24 00:55 225
ppfe.hs2004-01-24 01:15 197
myhugs2002-06-07 01:22 48
Flags.ghc2004-01-24 00:55 43
transforms/2005-07-21 00:02 -
tests/2006-08-12 01:30 -
syntax/2006-03-31 03:34 -
pfe/2005-06-02 04:10 -
parse2/2005-10-11 01:09 -
defs/2006-03-31 03:34 -
command/2002-06-01 01:51 -
TI/2006-03-31 03:34 -
AST/2006-03-31 03:34 -

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