MADCAP: a scientific compiler for a displayed formula textbook language
Communications of the ACM
Communications of the ACM
Some comments on the aims of MIRFAC
Communications of the ACM
An experiment in a user-oriented computer system
Communications of the ACM
MIRFAC: a reply to Professor Dijkstra
Communications of the ACM
More on reducing truncation errors
Communications of the ACM
Futher comment on the MIRFAC controversy
Communications of the ACM
Survey of formula manipulation
Communications of the ACM
Preprocessing of typed two-dimensional mathematical expressions
ACM SIGPLAN Notices
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Foundations of the case for natural-language programming
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Further advances in two-dimensional input-output by typewriter terminals
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
| Hi-index | 48.33 |
A pilot version of the compiler MIRFAC, now in the operation, is described. The chief features of the system, which is intended for the solution of scientific problems, are the presentation of mathematical formulas entirely in standard textbook notation. The use of plain English for organizational instructions, automatic error diagnosis indicating the actual location of the error in the uncompiled program, and an attempt to minimize that fragmentation of the original problem statement which is a normal feature of programming systems.