H ? « »

Language peer sets for PSP:
United States
United States/1981
Designed 1981
1980s languages
Fourth generation
Late Cold War


alternate simple view
Country: United States
Designed 1981

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

Related languages
SECD PSP   Target language for

  • Paulson, L. (1981) Paulson, L. A compiler generator for semantic grammars PhD thesis, Stanford University, 1981.
  • Brown, D. (1995) Brown, D. F. and Watt, D. A. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1995
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder