Sökning: "Programspråk"

Hittade 5 avhandlingar innehållade ordet Programspråk.

  1. 1. "Det är månen att nå- " : en studie i några datorintresserade pojkars språk och föreställningsvärld

    Författare :Eva Erson; Umeå universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Wittgenstein; philosophy of language; the moving example; computers; mastery; masculinist language game; hierarchization; dichotomization; power; control; Wittgenstein; Ludwig; 1889-1951; Programspråk;

    Sammanfattning : The aim of this thesis is to describe some central conceptual ideas expressed in the language of six computer interested boys. The starting-point is the philosophy of language of Ludwig Wittgenstein, where language is seen as something deeply integrated in our practices, traditions and culture. The use of our language shows its meaning. LÄS MER

  3. 2. Tabulation-based Logic Programming : A Multi-level View of Query Answering

    Författare :Lars Degerstedt; Teodor C. Przymusinski; Ulf Nilsson; University of California at Riverside; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Deductive databases; Partial deduction procedure; Tabulated resolution; Programmering; Databashanteringssystem Programspråk;

    Sammanfattning : .... LÄS MER

  4. 3. Extensible Compiler Construction

    Författare :Torbjörn Ekman; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerical analysis; Computer science; attribute grammars; extensible compilers; context-sensitive transformations; declarative object-oriented programming; kontroll; system; numerisk analys; Datalogi; control; systems;

    Sammanfattning : Processing of programs is a core area in computer science. A compiler that translates source text to machine language is the most well-known kind of tool in this area, but there are numerous other kinds of related applications: source-to-source translators, refactoring tools, reengineering tools, metrics tools, consistency checkers, etc. LÄS MER

  5. 4. Modeling, Model Validation and Uncertainty Identification for Power System Analysis

    Författare :Tetiana Bogodorova; Luigi Vanfretti; Konstantin Turitsyn; Francisco Gonzalez-Longatt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Power system modelling; model validation; parameter identification; uncertainty identification; Modelica; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : It is widely accepted that correct system modeling and identification are among the most important issues power system operators face when managing instability and post-contingency scenarios. The latter is usually performed involving special computational tools that allow the operator to forecast, prevent system failure and take appropriate actions according to protocols for different contingency cases in the system. LÄS MER

  7. 5. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management

    Författare :Karl Palmskog; Mads Dam; Rocco De Nicola; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed objects; decentralization; implementation correctness; network protocols; object mobility; Computer Science; Datalogi;

    Sammanfattning : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. LÄS MER