Technical Reports (Computer Science)

Permanent URI for this collectionhttp://hdl.handle.net/2263/32439

Browse

Recent Submissions

Now showing 1 - 6 of 6
  • Thumbnail Image
    Item
    Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS
    (Department of Computer Science: University of Pretoria, 2018-08-01) Timm, Nils; Gruner, Stefan
    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 Computer Programming. Due to shortage of page-space the proof cannot be printed in the journal article itself. In the forthcoming journal article, wherein Theorem 1 will appear, a literature reference will point the readers to this Technical Report for the proof.
  • Thumbnail Image
    Item
    Parameterised three-valued model checking
    (University of Pretoria, 2015-10-07) Timm, Nils; Gruner, Stefan; sgruner@cs.up.ac.za
    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 should thus be read as an APPENDIX to the forthcoming journal article, which will then contain a reference back to this Technical Report. The mathematical proofs shown in this Technical Report will not appear in the forthcoming journal article, due to size/length restrictions.
  • Thumbnail Image
    Item
    Schemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge
    (RWTH Aachen: Fachgruppe Informatik, 1997) Gruner, Stefan
    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.
  • Thumbnail Image
    Item
    Book Review: Eric Winsberg: Science in the Age of Computer Simulation
    (Springer-Verlag, 2013) Gruner, Stefan
    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 mathematics and ideal speculation; experiments commanded support from technical instruments and material skills. All the science-philosophical contributions and discourses prior to the actual availability of computers find their places somewhere on the line of that bi-polar spectrum – some of them more on the side of rationalism, others more on the side of empirism. After computers have equipped us with the new possibility of programming and executing computer simulations (or software simulations) as quasi-experiments “in silicio”, a new “dimension” has possibly been “added” to the hitherto bi-polar spectrum between rationalism and empirism.
  • Thumbnail Image
    Item
    Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr
    (RWTH Aachen: Fachgruppe Informatik, 1998) Gruner, Stefan
    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 solution approaches for this problems, and sketches the further development of those approaches.
  • Thumbnail Image
    Item
    On the Benefits of Deforestation - a Quantitative Analysis (EXCERPT)
    (TECTUM, 1997) Gruner, Stefan
    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 implemented, and their actual gain was empirically measured and compared against their theoretical maximum gain.