COM 1205 Notes
Introduction to Java
More introduction to Java
How to
create a file
in Java
Dangling pointers
in C++
Temporary objects
in C++
An
immutable abstract data type
and two possible implementations in Java.
One way to
translate an algebraic specification into Java
Another way
to translate this particular algebraic specification into Java
A
general recipe
for translating algebraic specifications into Java.
Hoare logic
Last updated 17 February 2000.