Ralf L#mmel. Semantic Grammar Calculus. PhD thesis, University of Rostock, 1997. In preparation.  Home/Search   Document Not in Database   Summary   Related Articles

....and structure of specications at a high level of abstraction. Based on SGC, we are developing a library of language constructs of imperative languages suitable to compose several existing languages (e.g. Pascal like) as well as special purpose languages. SGC is presented more in detail in [LR97, L#m97] 3.1 The basic calculus The types the calculus operates on correspond to all kinds of specication fragments. The most important type for operands and results in SGC is called GS, the type of GSF schemes. Notice, a context free grammar can be regarded as a trivial GSF scheme. We use the term ....

Ralf L#mmel. Semantic Grammar Calculus. PhD thesis, University of Rostock, 1997. In preparation.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC