Categorial Heterogeneous Algebraic Models of Programming Languages
Author(s) -
Nisse Husberg
Publication year - 1983
Publication title -
daimi report series
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v12i163.7437
Subject(s) - syntax , categorial grammar , semantics (computer science) , computer science , programming language , rule based machine translation , algebraic number , presentation (obstetrics) , algebra over a field , mathematics , linguistics , natural language processing , artificial intelligence , pure mathematics , generative grammar , mildly context sensitive grammar formalism , phrase structure rules , medicine , mathematical analysis , philosophy , radiology
Heterogeneous algebraic theories and algebras are treated in detail with examples showing how to model programming languages. All categorial concepts needed --- and only those --- are defined and explained assuming no earlier background in category theory. The presentation covers language grammars and syntax fairly well, but semantics is treated only in general terms.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom