Search for dissertations about: "Computing Science"

Showing result 1 - 5 of 648 swedish dissertations containing the words Computing Science.

  1. 1. Shadows of Cavernous Shades: Charting the Chiaroscuro of Realistic Computing

    University dissertation from Department of Computer Science, Lund University

    Author : Erik Persson; Lunds universitet.; Lund University.; [2003]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; history of computing; philosophy of technology; philosophy of computing; realistic computing; virtual reality; object-orientation; business objects; software components; client server database access architectures; Computer science; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

    Abstract : During the early 1990s, a novel style of programming often referred to as component-oriented programming quickly grew popular as the state-of-the-art in graphical user interface and client/server development on Windows-based personal computers, largely in competition with object-oriented programming, a partly similar, partly different programming paradigm, with which component-orientation is often compared, combined, and confused. Also during the 1990s, the world-wide web spread its arachnoid gossamer over the globe with deep-ranging ramifications for software component technology. READ MORE

  2. 2. Functional Polytypic Programming --- Use and Implementation

    University dissertation from Chalmers University of Technology

    Author : Patrik Jansson; Chalmers tekniska högskola.; Chalmers University of Technology.; Chalmers tekniska högskola.; Chalmers University of Technology.; [1997]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Teoretisk datalogi; Theoretical computer science; Datalogi; Computer science; Programming languages; Functional programming; Algebraic datatypes; Polytypic programming; Generic programming;

    Abstract : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. READ MORE

  3. 3. Induction Rules for Proving Correctness of Imperative Programs

    University dissertation from Chalmers University of Technology

    Author : Angela Wallenburg; Göteborgs universitet.; University of Gothenburg.; Göteborgs universitet.; Gothenburg University.; Göteborgs universitet.; Gothenburg University.; [2004]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

    Abstract : .... READ MORE

  4. 4. Investigations into Information Semantics and Ethics of Computing

    University dissertation from Mälardalen University Press

    Author : Gordana Dodig-Crnkovic; Mälardalens högskola.; Göteborgs universitet.; University of Gothenburg.; Chalmers tekniska högskola.; Chalmers University of Technology.; Göteborgs universitet.; Gothenburg University.; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Computer Science; datavetenskap; Computing and Philosophy; Philosophy of Computing; Philosophy of Information; infocomputation; computing nature; computational cognition; ethics; values;

    Abstract : The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information.This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing (PC) and Philosophy of Information (PI) regarding the production of meaning (semantics) and the value system with applications (ethics). READ MORE

  5. 5. Pure Functional Parsing - an advanced tutorial

    University dissertation from Chalmers University of Technology

    Author : Peter Ljunglöf; Göteborgs universitet.; University of Gothenburg.; Göteborgs universitet.; Gothenburg University.; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Språkteknologi; Language technology; Datalogi; Computer science; context-free grammars; parsing algorithms; parser combinators; functional programming;

    Abstract : .... READ MORE