MoSIS

Modularity in large Software and Information Systems

[Programming Technology Group, Department of Informatics, University of Bergen]

Home
Conferences
Publications
Annual Reports
Members
Activities

Publications

posted 11.09.2003, The Programming Technology Group
Mark Bezem, Jan Willem Klop, Roel de Vrijer
Term Rewriting Systems
Cambridge University Press, ISBN 0521391156, pp. 906, 2003
posted 11.09.2003, The Programming Technology Group
Uwe Wolter
Free Functor Semantics for Spesifications of Partial Algebras with Positive/Negative Conditional Existence Conditions
Proceedings 14th Nordic Workshop on Programming Theory, NWPT 2002, Tallin, Estonia, pp. 99-100
posted 11.09.2003, The Programming Technology Group
Karl Trygve Kalleberg (supervised by Haveraaen)
User-configurable, High-Level Transformations with CodeBoost
Master Thesis, University of Bergen, Dep. of Informatics, March 2003
posted 11.09.2003, The Programming Technology Group
Otto Skrove Bagge (supervised by Haveraaen)
CodeBoost: A Framework for Transforming C++ Programs
Master Thesis, University of Bergen, Dep. of Informatics, March 2003
posted 11.09.2003, The Programming Technology Group
Roland Kaufmann (supervised by Mughal)
Efficiently Locating Schema Incompatibilities in an eXtensible Markup Language
Master Thesis, University of Bergen, Dep. of Informatics, June 2003
posted 11.09.2003, The Programming Technology Group
Khalid A. Mughal and Rolf W. Rasmussen
A Programmer's Guide to Java Certification (Second Ed.)
ISBN: 0201728281, Addison-Wesley, Aug. 2003, 621 p.
posted 11.09.2003, The Programming Technology Group
K. Åhlander, M. Haveraaen, H. Munthe-Kaas
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
Engineering with Computers 18:286-294, 2002
posted 11.09.2003, The Programming Technology Group
Yngve Lamo, Michal Walicki
Quantifier-free Logic for Multialgebraic Theories
Proceedings of 10th Workshop on Logic Language, Information and Computation - WoLLIC'2003, ENTCS vol.84
posted 11.09.2003, The Programming Technology Group
Yngve Lamo, Michal Walicki
Combining Specification Formalisms in the General Logic of Multialgebras
Aug. 2003
posted 11.09.2003, The Programming Technology Group
Marc Bezem
Hoapata Logic Programs are Monotonic
Proceedings of the 14-th Nordic Workshop on Programming Theory, NWPT 2002, Tallin, Estonia, pp. 18-20
pdf.pdf postscript.ps
posted 11.09.2003, The Programming Technology Group
Marc Bezem & Hoang Truong
A Typing System of the Safe Instantiation of Components
FOCLASA 2003 Preliminary Version
pdf.pdf postscript.ps
posted 01.09.2003, The Programming Technology Group
Khalid Azim Mughal, Torill Hamre, Rolf W. Rasmussen
Java som første programmeringsspråk
Cappelen Akademisk, August 2002, 553 s.
ISBN 82-02-21782-2
posted 01.09.2003, The Programming Technology Group
Yngve Lamo, Michal Walicki
Composition and Refinement of Specifications of Parameterized Data Types
Electronic Notes in Theoretical Computer Science 70 No.3 (2002)
http://www.elsevier.nl/locate/entcs/volume70.html
posted 01.09.2003, The Programming Technology Group
Uwe Wolter
CSP, partial automata, and coalgebras
Theoretical Computer Science 280 (1-2): 3-34 (2002).
Last modified by webmaster September 11 2003 $