
The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
| barbara a mowat amanda vick lethco shelley lotz dharam s khalsa james s hassall | stuart a marks e a brian lauryn silverhardt charles w bacon y a bahei el din |