Browsing Department of Informatics by Subject "axioms"
Now showing items 1-2 of 2
(Elsevier, 2009-10-10)Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...Journal article
(Elsevier, 2010-09-17)A concept (or signature) describes the interface of a set of abstract types by listing the operations that should be supported for those types. When implementing a generic operation, such as sorting, we may then specify ...Journal article