Programming Research Group  -  University of Amsterdam  -  TR P9906


                Software mechanics for Java multi-threading

                        J.A. Bergstra
                        M.E. Loots


We discuss an  approach  that  explores  the use of  scaffolding  of
For a subset  JavaTck  (Java  Thread  Composition Kernel) of Java an
emperical  semantics has been  developed. Special emphasis is put on
the  role of synchronization  features. The  validity  of  emperical
semantics  is  discussed  in  the  light  of  a  number  of compiler
postulates.  A  translation  of  process algebra with conditions and
free merge to Java is used as an example.