Frank G. Pagan

• Formal specification of programming languages
• A practical guide to Algol 68
• Partial computation and the construction of language processors
• Efficient segmentation of text
• Representation and constructibility of semantic relations