Programatica Tools

Browsing the source

Some recent version of the source is available for browsing via the links below. These files can be used freely under a BSD-like license (see LICENSE for details).

The directory index pages combine an automatically generated file index and a manually written README file describing the contents of the directory. The automatic index section reflects reality, but may also contain files/directories that are obsolete. The README section is more informative, but can at times be out-of-date.

There is also an HTML rendering of the source code, with syntax highlighting and hyperlinks from uses to definitions. (See the notes on the conversion tool.)

NameLast modifiedSize
Parent Directory  -
find-uses2001-07-24 19:39 276
find-word2001-07-24 19:39 275
dirs.png2003-04-22 22:03 5.0K
dirs.dia2003-04-22 22:12 1.7K
install.png2003-04-22 22:20 4.8K
install.dia2003-04-22 22:24 1.5K
LICENSE2003-05-28 01:21 1.5K
dotdirgraph2003-11-25 01:39 5.0K
HuMakefile2004-01-24 00:04 159
hsutils/2004-10-05 08:57 -
usage.html2005-03-22 23:00 14K
titles2005-04-01 00:58 1.7K
hs2alfa/2005-10-11 01:09 -
hs2stratego/2006-03-31 03:35 -
Makefile2006-05-24 00:27 2.7K
evman/2006-05-24 00:27 -
features.html2008-12-31 13:34 6.0K
ChangeLog2009-01-04 11:18 37K
configure2009-01-04 11:18 2.5K
hs2html/2009-01-04 11:18 -
hs2isabelle/2009-01-04 11:18 -
property/2009-01-04 11:18 -
scripts/2009-01-04 11:20 -
pfe/2009-01-04 11:22 -
base/2009-01-04 12:00 -
pfe.cgi2016-01-13 00:48 6.3K
tree.cgi2016-01-13 00:51 1.0K
web/2016-01-13 00:51 -
INSTALL.html2016-03-17 20:52 3.9K
Tools for the Programatica project

Tools for the Programatica project

This directory contains the sources for (some of) the tools implemented as part of the Programatica project.

This is all work in progress (including this documentation)!

What tools are provided?

See the Features and Usage pages for documentation of the main tools. There are also some additional tidbits lying around.

How to compile and install the tools

See the INSTALL page.


The code that has been actively developed recently is located in the following subdirectories, some of which contain additional README files:

base Extensible Haskell front-end and base language (Haskell 98) tools. There is a README file with further details.
pfe PFE - the preliminary front-end framework and command-line tools. There is a README file with further details.
pfe/Browser The Programatica Haskell Browser.
property Extension of the base language with P-logic property declarations, including a new parser and an extended type checker. (An awful lot of work for a small extension...)
hs2html Haskell to HTML translator. (Little extra work for a potentially useful tool.)
hs2alfa Haskell to Alfa translator.
hs2stratego Haskell to Stratego translator.
hsutils Small spin-off Haskell utility programs.
evman Files relating to evidence (certificate) management, in particular the command line tool cert and the implementation of the certificate servers.
scripts Various shell scripts, some of which are used in the build process.
bin, lib There are directores created by the Makefile to hold a template of things that get installed by make install. (See INSTALL.html).

Authors: various
Contact: TH