Sökning: "Domain-Specific Languages"

Visar resultat 1 - 5 av 34 avhandlingar innehållade orden Domain-Specific Languages.

  1. 1. Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots

    Författare :Momina Rizwan; Programvaruteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Domain Specific Languages; Robot programming; safety;

    Sammanfattning : Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. LÄS MER

  3. 2. ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems

    Författare :Alfred Åkesson; Programvaruteknik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; internet of things; domain-specific languages; composition languages;

    Sammanfattning : Internet-of-Things (IoT) systems consist of spatially distributed interacting devices. In contrast to desktop applications, IoT systems are always running and need to deal with unresponsive devices and weak connectivity. In this thesis, we propose techniques for simplifying the development of such systems. LÄS MER

  4. 3. High-level Programming on Low-level Platforms: Two Domain-specific Languages based on Haskell

    Författare :Robert Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Domain-specific Languages; Haskell; Confidential Computing; TEE;

    Sammanfattning : In this thesis, we describe our research on how to program low-level platforms with high-level languages. As an example, consider applications that run on microcontrollers. Such applications may need to specify precise temporal behavior, carefully manage power usage, and handle cryptographic keys. LÄS MER

  5. 4. Techniques for implementing embedded domain specific languages in dynamic languages

    Författare :Calle Lejdfors; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Computer programming should be expressing the complicated in easily understandable parts. General languages provide tools and abstractions that allow many different problems to be formulated and solved. LÄS MER

  7. 5. High-Level GPU Programming: Domain-Specific Optimization and Inference

    Författare :Calle Lejdfors; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : When writing computer software one is often forced to balance the need for high run-time performance with high programmer productivity. By using a high-level language it is often possible to cut development times, but this typically comes at the cost of reduced run-time performance. LÄS MER