Sökning: "object-based programming"

Hittade 4 avhandlingar innehållade orden object-based programming.

  1. 1. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

    Författare :Johan Glimming; Karl Meinke; John Power; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; denotational semantics; axiomatic domain theory; coalgebra; primitive co recursion; object-based programming; typed object calculus; Computer science; Datavetenskap; datalogi; Computer Science;

    Sammanfattning : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. LÄS MER

  3. 2. Human Robot Interaction Solutions for Intuitive Industrial Robot Programming

    Författare :Batu Akan; Baran Curuklu; Lars Asplund; Boyko Iliev; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; huamn robot interaction; industrial robots; intuitive programming; Computer Science; datavetenskap;

    Sammanfattning : Over the past few decades the use of industrial robots has increased the efficiency as well as competitiveness of many companies. Despite this fact, in many cases, robot automation investments are considered to be technically challenging. In addition, for most small and medium sized enterprises (SME) this process is associated with high costs. LÄS MER

  4. 3. Reactive Objects and Functional Programming

    Författare :Johan Nordlander; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The construction of robust distributed and interactive software is still a challenging task, despite the recent popularity-increase for languages that take advanced programming concepts into the mainstream. Several problematic areas can be identified: most languages require the reactivity of a system to be manually upheld by careful avoidance of blocking operations; mathematical values often need to be encoded in terms of stateful objects or vice versa; concurrency is particularly tricky in conjunction with encapsulated software components; and static type safety is often compromised because of the lack of simultaneous support for both subtyping and polymorphism. LÄS MER

  5. 4. Knowledge Technology Applications for Knowledge Management

    Författare :Kent Andersson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Constraints; Simulation; Model-Based Diagnosis; Knowledge Management; Knowledge Technology; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Sammanfattning : We investigate how the knowledge in knowledge technology applications for knowledge management can be represented to let the user directly manage the knowledge content of the applications.In paper I we design a representation of diagnosis knowledge that allows the user to add new components and inspect the function of the device. LÄS MER