|
|
- M. Gheorghiu and J. Wu.
``Report on FM Group Web Site'', CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2004
PS
PDF
Abstract
- M. Chechik, S. Berezin, C. Barrett, I. Shikanian, A. Gurfinkel, and D. Dill.
``A Practical Approach to Partial Functions in CVC Lite'', in Proceedings of 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning, July, 2004
PS
PDF
Abstract
- M. Chechik and B. Devereux.
``Automated Support for Building Behavioural Models of Event-Driven Systems'', to appear in Automated Software Engineering (short paper), September, 2004
PS
PDF
Abstract
- M. Chechik and S. Uchitel.
``Merging Partial Behavioural Models'', in Proceedings of FSE'04, November, 2004
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``How Vacuous Is Vacuous?'', in Proceedings of 10th International Conference on Toolsand Algorithms for the Construction and Analysis ofSystems (TACAS'04), Barcelona, Spain, pp. 451--466, March, 2004
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``Extending Extended Vacuity'', in Proceedings of 5th International Conference onFormal Methods in Computer-Aided Design (FMCAD'04), Austin, Texas, pp. 306--321, November, 2004
PS
PDF
Abstract
- E.C.R. Hehner.
A Practical Theory of Programming, the second edition, Springer-Verlag, New York, 2004
PS
PDF
Abstract
- E.C.R.Hehner.
``Probabilistic Predicative Programming'', in Proceedings of Mathematics of Program Construction, Stirling Scotland, July, 2004
PS
PDF
Abstract
- E.C.R.Hehner.
`` from Boolean Algebra to Unified Algebra'', the Mathematical Intelligencer, vol. 26, pp. 3-19, 2004
PS
PDF
Abstract
- Ioannis T. Kassios.
``Object Orientation in Predicative Programming, Unification and Decoupling in Object Orientation'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, October, 2004
PS
PDF
Abstract
- Nikolaos S. Papaspyrou and Ioannis T. Kassios.
``GLU(nat) Embedded in C++: a Marriage between Multidimensional and Object Oriented Programming'', Software: Practice and Experience, vol. 34, pp. 609-630, July, 2004
PS
PDF
Abstract
- Ioannis T. Kassios.
``Objects as Predicates'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, February, 2004
PS
PDF
Abstract
|
