Communications of the ACM

A syntactic description of BC NELIAC

H. D. Huskey, Ralph Love, Niklaus Wirth
Pages 367-375

---

Real-time programming specifications

R. V. Head
Pages 376-383

---

Checking for loops in networks

Robert M. Gordon
Page 384

---

Polynomial evaluation revisited

S. H. Eisman
Pages 384-385

---

Algorithm 152: Nexcom

John Hopley
Page 385

---

Realizing Boolean connectives on the IBM 1620

Page 385

---

Algorithm 184: Erlang probalility for curve fitting

A. Colker
Page 386

---

Algorithm 185: normal probability for curve fitting

A. Colker
Page 386

---

Algorithm 186: complex arithmetic

R. P. van de Riet
Pages 386-387

---

Algorithm 188: smoothing 1

F. Rodriguez-Gil
Page 387

---

Algorithm 189: smoothing 2

F. Rodriguez-Gil
Page 387

---

Algorithm 187: differences and derivatives

R. P. van de Riet
Page 387

---

Algorithm 191: hypergeometric

A. P. Relph
Page 388

---

Algorithm 193: reversion of series

Henry E. Fettis
Page 388

---

Algorithm 190: complex power

A. P. Relph
Page 388

---

Algorithm 192: confluent hypergeometric

A. P. Relph
Page 388

---

Certification of algorithm 105: Newton Maehly

Joanne Kondo
Page 389

---

Remark on certification of matrix inversion procedures

Cleve Moler
Page 389

---

Remark on algorithm 150: Syminv2

Arthur Evans
Page 390

---

Remark on algorithm 150: Syminv2

H. Rutishauser
Page 390

---

Remark on algorithm 177: least squares solution with constraints

Michael J. Synge
Page 390

---

Certification of algorithms 134 and 158 exponentiation of series

Henry C. Thacher
Page 390

---

Programming languages

T. E. Cheatham
Pages 391-395

---

The linking segment subprogram language and linking loader

John McCarthy, Fernando J. Corbató, Marjorie M. Daggett
Page 391

---

Design of a separable transition-diagram compiler

Melvin E. Conway
Pages 396-408

---

A catalogue entry retrieval system

Benson H. Scheff
Pages 409-412

---

Further remarks on sampling a tape file—III

O. C. Juelich
Page 384

---