Sökning: "design semantik"

Visar resultat 1 - 5 av 24 uppsatser innehållade orden design semantik.

1. 1. An Arrow Metalanguage for Partially Invertible Computation

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Anders Ågren Thuné; [2023]
   Nyckelord :Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

   Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER

3. 2. Reliable Web Applications Through Contracts and Generative Testing

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Fredrik Hallsmar; [2022]
   Nyckelord :Web applications; Design by contract; Generative testing; Reliability; Clojure; Webbapplikationer; Kontrakt; Automatisk testning; Pålitlighet; Clojure;

   Sammanfattning : Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. LÄS MER

4. 3. A JavaScript Backend for the Miking Compiler

   Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :William Rågstad; [2022]
   Nyckelord :Bachelor’s Thesis; Miking; JavaScript; Compiler; Semantics; Code Generation; Optimization; Correctness; Soundness; and Readability; Kandidat Examensarbete; Miking; JavaScript; Kompilatorer; Semantik; Kodgenerering; Optimering; Korrekthet; Sundhet och Läsbarhet;

   Sammanfattning : This thesis presents the design and implementation of an extension of the self-hosted Miking compiler to enable the generation of JavaScript code for different runtime environments and web browsers. Miking is a framework for developing domain-specific and general-purpose programming languages through sound language fragment composition, among other things, to create efficient compilers. LÄS MER

5. 4. Klappstolen ur ett semiotiskt perspektiv : Ett samarbete med IKEA of Sweden

   Kandidat-uppsats, Malmö universitet/Institutionen för konst, kultur och kommunikation (K3)

   Författare :Alissa Nyberg; [2022]
   Nyckelord :product design; semiotics; affordance; folding chair; chair; design; industrial design; semantics; rune monö; sara illstedt hjelm; produktdesign; semiotik; affordance; klappstol; stol; design; industridesign; semantik; rune monö; sara illstedt hjelm;

   Sammanfattning : I denna uppsats undersöks hur man genom produktdesign kan få enbättre förståelse för hur stolar och klappstolar tolkas. Syftet har varit attgenom en förståelse för användarens tolkning, ge möjlighet att skapa enny arketyp till klappstolar. LÄS MER

7. 5. Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Mikael Forsberg; [2021]
   Nyckelord :;

   Sammanfattning : Software development is more often than not a collaborative process, creating a need for tools and file formats that enable developers to create and share succinct representations of changes to source code in order to facilitate efficient communication. Standard POSIX diffs and patches have long been important parts of the toolkit, but their lack of support for the syntax and semantics of specific programming languages results in limited expressiveness. LÄS MER