TY - JOUR
T1 - INFORM
T2 - An interactive syntax-directed formulae editor
AU - van Egmond, S.
AU - Heeman, F. C.
AU - van Vliet, J. C.
PY - 1989/3
Y1 - 1989/3
N2 - This paper addresses a particular problem in text-processing systems, namely, that of processing mathematical formulae. As in programs in some given programming language, mathematical formulae do not consist of random sequences of characters. Rather, they have some welldefined structure. Therefore, techniques that have been applied successfully in syntax-directed editors for programming languages can also be used in an editor for mathematical formulae. We have built such an interactive syntaxdirected editor for mathematical formulae, called INFORM. It is generated from a grammar that defines the structure and layout of mathematical formulae. Using menu selection and keyboard input, and without knowledge of the underlying text-processing system, INFORM allows the user to create and manipulate a two-dimensional picture of mathematical formulae directly on the screen. In the present paper, the general ideas behind INFORM are discussed.
AB - This paper addresses a particular problem in text-processing systems, namely, that of processing mathematical formulae. As in programs in some given programming language, mathematical formulae do not consist of random sequences of characters. Rather, they have some welldefined structure. Therefore, techniques that have been applied successfully in syntax-directed editors for programming languages can also be used in an editor for mathematical formulae. We have built such an interactive syntaxdirected editor for mathematical formulae, called INFORM. It is generated from a grammar that defines the structure and layout of mathematical formulae. Using menu selection and keyboard input, and without knowledge of the underlying text-processing system, INFORM allows the user to create and manipulate a two-dimensional picture of mathematical formulae directly on the screen. In the present paper, the general ideas behind INFORM are discussed.
UR - http://www.scopus.com/inward/record.url?scp=0024629986&partnerID=8YFLogxK
U2 - 10.1016/0164-1212(89)90037-X
DO - 10.1016/0164-1212(89)90037-X
M3 - Artículo
AN - SCOPUS:0024629986
SN - 0164-1212
VL - 9
SP - 169
EP - 182
JO - Journal of Systems and Software
JF - Journal of Systems and Software
IS - 3
ER -