Programatica Tools

Directory tools/hs2alfa

The README file is displayed below the directory index.
NameLast modifiedSize
Parent Directory  -
AlfaSource/2004-01-23 23:23 -
BaseStruct2Alfa.hs2005-07-21 00:02 32K
Flags.ghc2002-10-20 09:12 272
Hs2Alfa.hs2002-11-19 00:17 788
HuMakefile2005-03-22 23:08 650
Makefile2005-02-02 00:38 1.2K
PfeAlfaCmds.hs2005-10-11 01:09 3.5K
Prelude.alfa2001-11-13 20:48 636
Prop.alfa2001-09-08 09:58 507
Prop2Alfa.hs2005-05-11 22:52 9.1K
USCC.hs2003-01-09 01:17 397
apfe.hs2004-01-24 01:15 213
tests/2005-10-11 01:09 -
tst0.hs2001-11-13 09:43 1.3K
tst0f.hs2001-11-14 20:50 177
tst1.hs2001-09-11 07:39 386
tst1prop.alfa2001-09-11 07:39 276
tst1propb.alfa2001-09-11 07:39 802
tstHs2Alfa.hs2002-05-25 20:27 1.0K
tstProp2Alfa.hs2002-05-25 20:27 1.0K

What is in this directory (hs2alfa)

This directory contains the translator from Haskell to Alfa, which is built on top of the PFE framework and parts of Alfa.

By running make you can create apfe, a command line tool that has all the functionality of the PFE framework, plus the ability to translate Haskell files to Alfa files.

There are also two (obsolete) test programs that don't depend on the PFE framework: tstHs2Alfa (for the base language, Haskell 98) and tstProp2Alfa (for Hasell 98 + property declarations). They can be compiled with make progamname.

The code compiles with GHC, provided that the directory AlfaSource, containing certain modules from Alfa, is present (get alfaforpfe.tar.gz and unpack it in this directory).

Limitations

The translator is work in progress (as everything else here). It does handle The translator does not yet (fully) support Other problems: The translator can translate P-logic predicate definitions and property assertions, but

The subdirectory tests contains sample Haskell modules that the translator can translate. (There are also some test files in this directory.)


Author: Thomas Hallgren
Contact: TH