Sökning: "Programming semantics"
Visar resultat 1 - 5 av 19 uppsatser innehållade orden Programming semantics.
1. Generating Wikipedia Articles with Grammatical Framework : A Case Study
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
2. An Arrow Metalanguage for Partially Invertible Computation
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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. Reliable Web Applications Through Contracts and Generative Testing
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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. Designing an Introductory Programming Language Based on Studies on Novices
Kandidat-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Sammanfattning : 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. LÄS MER
5. A JavaScript Backend for the Miking Compiler
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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