Whitepapers

KindSoftware regularly publishes whitepapers on a variety of topics.

At the right you'll find our most recent whitepapers.

First, we have published our newly revised coding standard with a special section on Java. We'll be adding special sections on Eiffel and ML in the near future.

Second, we also have the answers to exercises from the main text used to teach the semantics of imperative programs with order sorted algebras. This material will help the interested student to learn about OBJ3 and related theories and technologies.