Up
Front page
Slides
Text
Assignments and tests
Extra problems and past exams
Related links
Advanced Computing Concepts for Engineering (Engi-9867) 2020
Useful or Interesting Links
Theory of programming
Eric Hehner, '
A Practical Theory of Programming
',
Science of Computer Programming
, 1990. This article provides a presentation of the theory of predicative programming.
Eric Hehner,
a Practical Theory of Programming..
, 2016 edition. This book provides a presentation of predicative programming. Its notation is a bit less conventional than mine. There is also free
translation into Chinese
!
Models of computation
Fork this!
The ACCE python repository
.
What is the enlightenment I'm supposed to attain after studying finite automata?
An awesome answer on Stack Overflow.
Kleene's first paper on regular expressions.
(c) Theodore Norvell