- 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.
We are excited to announce that the repository will soon undergo an upgrade, featuring a new look and feel along with several enhanced features to improve your experience. Please be on the lookout for further updates and announcements regarding the launch date. We appreciate your support and look forward to unveiling the improved platform soon.
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 ...