Pascal- to Pcode translator
Pascal- to Pcode translator
property declarations for type analysis
attribution for type analysis
description of basic symbols
concrete syntax
correct format of declarations for functions passed as parameters
property declarations for function output generation