Algebraically modelling object-orientated programs
We explore the process of building algebraic models of the behaviour of Java classes. A fundamental building block of object-oriented programs is the class that can typically contain multiple fields, constructors, and methods. In Java a programmer can control access to the various methods, fields an...
| Main Author: | |
|---|---|
| Published: |
Swansea University
2006
|
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.751999 |