S/SL programmeringsspråk

Syntax /Semantic Language ( S/SL ) är ett körbart högnivåspecifikationsspråk för rekursiva härkomsttolkare , semantiska analysatorer och kodgeneratorer utvecklat av James Cordy , Ric Holt och David Wortman vid University of Toronto 1980 .

S/SL är ett litet programmeringsspråk som stöder billig rekursion och definierar ingångs-, utdata- och feltokennamn (& värden), semantiska mekanismer (klassgränssnitt vars metoder verkligen är flykter till rutiner i ett värdprogrammeringsspråk men tillåter bra abstraktion i pseudokod ) och ett pseudokodprogram som definierar syntaxen för inmatningsspråket av den tokenström som programmet accepterar. Alternering, kontrollflöde och ensymbols framsynskonstruktioner är en del av språket.

S/SL-processorn kompilerar denna pseudokod till en tabell (bytekoder) som tolkas av S/SL-bordrullaren ( tolk ). Pseudokodspråket bearbetar inmatningsspråket i LL(1) rekursiv härkomststil, men tillägg tillåter det att bearbeta vilket LR(k) -språk som helst relativt enkelt. S/SL är utformad för att ge utmärkt återställning och reparation av syntaxfel. Den är mer kraftfull och transparent än Yacc men kan vara långsammare.

S/SL:s "semantiska mekanismer" utökar dess möjligheter till alla faser av kompileringen, och den har använts för att implementera alla faser av kompilering, inklusive skannrar , tolkar , semantiska analysatorer , kodgeneratorer och virtuella maskintolkar i flerpassage språkprocessorer.

S/SL har använts för att implementera kommersiella produktionskompilatorer för språk som PL/I , Euclid , Turing , Ada och COBOL , såväl som tolkar, kommandoprocessorer och domänspecifika språk av många slag. Det är den primära tekniken som används i IBM :s ILE/400 COBOL-kompilator, och ZMailers e-postöverföringsagent använder S/SL för att definiera både dess e-postrouterns bearbetningsspråk och dess RFC 822 e-postadressvalidering.