Jean E. Sammet
Page 170
Is execution of a program “copying?” If a program is copyrighted, is execution an infringement of the copyright?
Is an algorithm, or a program, or a computer running a program, patentable?
If a program is licensed as a trade
N …
Oliver R. Smoot
Pages 171-174
From its inception, The BASIC language has grown in terms of its usage, scope of usage, and its features. This article compares ten of the current versions of BASIC with each other, with two earlier versions, and with the proposed …
Bennet P. Lientz
Pages 175-181
A conversational programming language for analytic geometry is described, together with some aspects of its implementation. The language allows the flexible definition of geometric objects and elements, computes their parameters …
J. Raymond
Pages 182-187
Most present systems for verification of computer programs are incomplete in that intermediate inductive assertions must be provided manually by the user, termination is not proven, and incorrect programs are not treated. As
…
Shmuel Katz, Zohar Manna
Pages 188-206
Page 213
