Toward efficiency trough generality

Authors:
Jean Louis Lauriere
Affiliations:
Institut de Programmation, Paris Cedex 05, France
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Year:
1979

Citing 5
Cited 1

Structured Programming with go to Statements

ACM Computing Surveys (CSUR)
Syntactic source to source transforms and program manipulation

Communications of the ACM
An improved program-synthesizing algorithm and its correctness

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Improving and refining programs by program manipulation

ACM '76 Proceedings of the 1976 annual conference

Knowledge based guidance and control: Declarative knowledge to use declarative knowledge

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the following lines we shall adduce new elements to a controversy which lies at the heart of current discussions about programming activities. The question is : must we write specific programs or general systems? We shall contrast the two approaches to this methodological problem by means of a case in point. Their respective interest will be compared and a surprising conclusion will eventually be reached which is crucial to the core of AI and justifies many researches in the field : efficiency can only be attained trough generality.