Essays about: "Programming semantics"

Showing result 1 - 5 of 19 essays containing the words Programming semantics.

1. 1. Generating Wikipedia Articles with Grammatical Framework : A Case Study

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Keivan Matinzadeh; [2023]
   Keywords : Grammatical Framework; Computational Linguistics; Natural Language Generation; Computer Science; Grammatical Framework; Beräkningslingvistik; Textgenerering; Datavetenskap;

   Abstract : Natural language generation is a method used to produce understandable texts in human languages from data [1]. Grammatical Framework is a grammar formalism and a functional programming language using a nonstatistical approach to build natural language applications. READ MORE

3. 2. An Arrow Metalanguage for Partially Invertible Computation

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

   Abstract : 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. READ MORE

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

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Fredrik Hallsmar; [2022]
   Keywords : Web applications; Design by contract; Generative testing; Reliability; Clojure; Webbapplikationer; Kontrakt; Automatisk testning; Pålitlighet; Clojure;

   Abstract : 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. READ MORE

5. 4. Designing an Introductory Programming Language Based on Studies on Novices

   University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

   Author : Linnea Jansson; [2022]
   Keywords : programming language; syntax; introductory programming; difficulties; misconceptions;

   Abstract : The challenges of learning programming have been revealed in studies for decades. Many of the difficulties and misconceptions derive from, or go unassisted by, the syntax and semantics of the programming language used in introductory (CS1) courses. READ MORE

6. 5. A JavaScript Backend for the Miking Compiler

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : William Rågstad; [2022]
   Keywords : 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;

   Abstract : 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. READ MORE