Frederick B. Thompson
ABSTRACT
What about English as a programming language? Few would question that this is a desirable goal. On the other hand, I dare say every one of us has rather deep reservations both about its feasibility and about a number of problems that it entails. This paper presents a point of view which gives some clarity to the relationship between English and programming languages. This point of view has found substance in an experimental system called DEACON. The second paper in this session will describe the specific DEACON system and its capabilities.
- For recent comment on the problem and prospects of "English as a Programming Language" see the discussion between Jean Sammett, R. W. Floyd et al in Comm. ACM, vol. 9, pp. 228--30 (1966).Google Scholar
Digital Library
- A. Tarski, "Der Wahrheitsbergriff in den formalisierten Sprachen," Studia Philosophica, vol. 1, pp. 261--405 (1936); English translation in Logic, Semantics, Metamathematics, Oxford University Press, New York, 1956, pp. 152--278.Google Scholar
- See papers of Turing and Gödel in M. Davis (ed.), The Undecidable, Raven, New York, 1956.Google Scholar
- R. F. Simmons and K. L. McConlogue, "Maximum-Depth Indexing for Computer Retrieval of English Language Data," Amer. Documentation, vol. 14, pp. 68--73 (1963).Google ScholarCross Ref
- R. F. Simmons, S. Klein, and K. L. McConlogue, "Indexing and Dependency Logic for Answering English Questions," ibid, vol. 15, pp. 196--204 (1964).Google Scholar
- E. Irons, "A Syntax Directed Compiler for ALGOL 60," Comm. ACM, vol. 4, pp. 51--55 (1961). Google ScholarDigital Library
- N. Wirth and H. Weber, "EULER: A Generalization of ALGOL, and its Formal Definition," ibid, vol. 9, pp. 13--25, 89--99 (1966).Google Scholar
- E. L. Post, "Formal Reductions of the General Decision Problem," Am. J. of Math., vol. 65, pp. 197--215 (1943).Google ScholarCross Ref
- J. McCarthy, "A Basis for a Mathematical Theory of Computation," in P. Braffort and D. Hirschberg, Computer Programming and Formal Systems, North Holland, Amsterdam, 1963, pp. 33--70.Google Scholar
- K. Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis, Princeton University Press, 1940.Google Scholar
- N. Chomsky, "Three Models for the Description of Language," IRE Transactions on Information Theory, IT-2(3), pp. 36--45 (1956).Google Scholar
- N. Chomsky, and G. A. Miller, "Introduction to the Formal Analysis of Natural Languages," in R. D. Luce, R. Bush, and E. Galanter (eds.), Handbook of Mathematical Psychology, vol. II, Wiley, New York, 1963, pp. 269--322.Google Scholar
- Z. S. Harris, "Transformational Theory," Language, vol. 41, pp. 363--401 (1965).Google ScholarCross Ref
- A. Tarski, "The Semantic Conception of Truth and the Foundations of Semantics," Phil. and Phenomenological Research, vol. 4, pp. 341--76 (1944); reprinted in H. Feigl and W. Sellars (eds.), Readings in Philosophical Analysis, New York, 1949.Google ScholarCross Ref
- D. T. Ross and J. E. Rodriguez, "Theoretical Foundations for the Computer-Aided Design System," Proc. of Spring Joint Computer Conference, 1963, pp. 305--22. Google ScholarDigital Library
- J. E. Sutherland, "Sketchpad: A Man-Machine Graphical Communication System," ibid, pp. 329--346.Google Scholar
- B. F. Green, Jr., et al, "Baseball: An Automatic Question Answerer," Proc. of Western Joint Computer Conference, 1961, pp. 219--24. Google ScholarDigital Library
- English for the computer
Recommendations
POS-tagger for English-Vietnamese bilingual corpus
HLT-NAACL-PARALLEL '03: Proceedings of the HLT-NAACL 2003 Workshop on Building and using parallel texts: data driven machine translation and beyond - Volume 3Corpus-based Natural Language Processing (NLP) tasks for such popular languages as English, French, etc. have been well studied with satisfactory achievements. In contrast, corpus-based NLP tasks for unpopular languages (e.g. Vietnamese) are at a ...
A probabilistic approach to grammatical analysis of written English by computer
EACL '85: Proceedings of the second conference on European chapter of the Association for Computational LinguisticsWork at the Unit for Computer Research on the English Language at the University of Lancaster has been directed towards producing a grammatically annotated version of the Lancaster-Oslo/Bergen (LOB) Corpus of written British English texts as the ...
Comments