- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Technical Reports (Computer Science)
JavaScript is disabled for your browser. Some features of this site may not work without it.
Please note that UPSpace will be unavailable from Friday, 2 May at 18:00 (South African Time) until Sunday, 4 May at 20:00 due to scheduled system upgrades. We apologise for any inconvenience this may cause and appreciate your understanding.
Technical Reports (Computer Science)
Recent Submissions
-
(Department of Computer Science: University of Pretoria, 2018-08-01)In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of ...
-
(University of Pretoria, 2015-10-07)In this Technical Report we prove Theorem 1 and Theorem 2 with reference to the article "Parameterised Three-Valued Model Checking" which is to appear in the journal "Science of Computer Programming". This Technical Report ...
-
(RWTH Aachen: Fachgruppe Informatik, 1997)In this paper, a new method supporting the well-known graph grammar specification approach to developing fine-grained and incrementally-operating integration tools is presented.
-
(Springer-Verlag, 2013)Before the advent of sufficiently powerful computing machinery, the practice of science took place on a bi-polar spectrum between rationalism and empirism, between theory and experiment. Theory commanded support from ...
-
(RWTH Aachen: Fachgruppe Informatik, 1998)The need for keeping separate, mutually dependend documents mutually consistent with each other is called an "integration problem". This technical report (in German language), recapitulates some of the already existing ...
-
(TECTUM, 1997)This file contains a relevant excerpt of my Dipl.-Thesis from the year 1995 in which I had investigated the real gain of the algebraic optimisation techique of deforestation in functional programming. Those techniques were ...