Sementics

head 1.1; access; symbols; locks; strict; comment @# @; 1.1 date 2000.05.18.17.29.15; author dbc; state Exp; branches; next ; desc @@ 1.1 log @ Added Files: Makefile compiler.html.in hpfparse.html.in infra.html.in runtime.html.in sementics.html.in subsRoot Removed Files: compiler.html hpfparse.html infra.html runtime.html sementics.html @ text @ Sementics

HPF Semantics Checking:

hpfsc --- takes as input a file filename.dep, performs various semantics check while augmenting the AST to some extend, and outputs a modified version of filename.dep.

   Usage: hpfsc [-vhmcdoiD] HPF_file.dep
          -v : version
          -h : usage
          -m : write .mod files for module .
          -c : compile the source files, but do not link.
          -d : debugging parser
          -o : output filename.
          -i : standard library compilation
          -D : display the module dependence .

The Implementation of HPF FrontEnd

Postscript PDF
Examples

Back
@