Sisällysluettelo
Ohjelmointikielet ja ohjelmointi
Tietokone ja konekieli
Korkean tason ohjelmointi
Korkean tason ohjelmien toteuttaminen
C-ohjelman käännös ja suoritus
Kääntäjän toiminta
Esimerkkikäännös C ® MIX
Korkean tason ohjelmointikieliä
FORTRAN
BASIC
LISP
Prolog
Ohjelmien oikeellisuus
Potenssiinkorotusalgoritmin oikeellisuus
Potenssinkorotuksen oikeellisuus (yksityiskohtia)
Eukleideen algoritmin oikeellisuus
Liitteitä
EDSAC (1949)
EDSAC arkkitehtuuri
EDSAC käskykanta
EDSAC esimerkkiohjelma (alkuluvut)
HP 2114 (1970)
HP 2114 käskykanta 1
HP 2114 käskykanta 2
HP 2114 ohjelmalistausta
MIX (hypoteettinen, D. Knuth 1968)
MIX käskykanta
MIX esimerkkiohjelma (alkuluvut)
|
