PSP(ID:2829/psp001)

Paulson's Semantic Processor compiler generator that produces SECD code. Paulson Stanford 1981

"Takes a semantic grammar, and produces a compiler that generates abstract machine code for a stack based machine (SECD) A semantic grammar is a combination of an attribute grammar and a typed lambda calculus." Sort Inference in Action Semantics (1996) Deryck Forsyth Brown
Places
Structures:
Related languages
SECD => PSP   Target language for
References:
  • Paulson, L. A compiler generator for semantic grammars PhD thesis, Stanford University, 1981. view details
  • Brown, D. F. and Watt, D. A. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1995 view details