Essays about: "DSL"
Showing result 6 - 10 of 41 essays containing the word DSL.
-
6. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. READ MORE
-
7. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. READ MORE
-
8. Filtering False Positive Alarms in JavaDL and Language Experience Report
University essay from Lunds universitet/Institutionen för datavetenskapAbstract : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. READ MORE
-
9. HypervisorLang : Attack Simulations of the OpenStack Nova Compute Node
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Cloud services are growing in popularity and the global public cloud services are forecasted to increase by 17% in 2020[1]. The popularity of cloud services is due to the improved resource allocation for providers and simplicity of use for the customer. READ MORE
-
10. Spira: A language for prototyping grid board games with linear logic in Haskell
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : This project explores the process of creating a board game model and introduces a new high level domain-specific language called Spira that specialises in prototyping grid board games. Spira is a DSL, embedded in Haskell, that generates Ceptre code. READ MORE