AN IMPERATIVE LANGUAGE-BASED ON DISTRIBUTIVE CATEGORIES-II

Authors
KHALIL W WALTERS RFC
Citation
W. Khalil et Rfc. Walters, AN IMPERATIVE LANGUAGE-BASED ON DISTRIBUTIVE CATEGORIES-II, Informatique theorique et applications, 27(6), 1993, pp. 503-522
Citations number
3
Categorie Soggetti
Computer Sciences","Computer Science Information Systems
Journal title
Informatique theorique et applications → ACNP
ISSN journal
09883754
Volume
27
Issue
6
Year of publication
1993
Pages
503 - 522
Database
ISI
SICI code
0988-3754(1993)27:6<503:AILODC>2.0.ZU;2-P
Abstract
This paper continues the analysis of the imperative languages, IMP(G), begun in Walters [1, 2, 3]. We describe a precise syntax and some pro gramming techniques. The programming techniques are based on the simpl e and important notion of a functional processor. As an illustration o f programming in these languages we give a universal IMP(G) program wr itten in IMP(G), where G is an extension of G by certain stack types.