H ? « ‹ ← → › »

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

PSP(ID:2829/psp001)

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

Places
Structures:
Related languages
SECD → PSP   Target language for
References:
  • 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