Results 21 to 30 of about 851,047 (286)

Monilogging for executable domain-specific languages [PDF]

Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, 2021
Runtime monitoring and logging are fundamental techniques for analyzing and supervising the behavior of computer programs. However, supporting these techniques for a given language induces significant development costs that can hold language engineers back from providing adequate logging and monitoring tooling for new domain-specific modeling languages.
Leroy, Dorian, Lelandais, Benoît, Oudot, Marie-Pierre, Combemale, Benoit   +3 more
openaire   +2 more sources

Usa-DSL: a Process for Usability Evaluation of Domain-Specific Languages [PDF]

Journal of Universal Computer Science
Software architects and developers often use Domain-Specific Languages (DSLs) to model or code applications. However, designing a DSL that effectively represents its domain can be a challenge, potentially contributing to poor uptake and usage.
Ildevana Poltronieri, Avelino Francisco Zorzo, Maicon Bernardino, Edson OliveiraJr   +3 more
doaj   +3 more sources

Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving.
Makarius Wenzel
doaj   +1 more source

Everything old is new again: quoted domain-specific languages [PDF]

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2015
We describe a new approach to implementing Domain-Specific Languages(DSLs), called Quoted DSLs (QDSLs), that is inspired by two old ideas:quasi-quotation, from McCarthy's Lisp of 1960, and the subformula principle of normal proofs, from Gentzen's natural
Shayan Najd, S. Lindley, Josef Svenningsson, P. Wadler   +3 more
semanticscholar   +1 more source

Domain-specific languages [PDF]

, 2009
The topic of the thesis are domain-specific languages (DSL) and their use in software development. The target audience are developers interested in learning more about this progressive area of software development. It starts with a necessary theoretical introduction to programming languages.
openaire   +3 more sources

Domain-specific tensor languages

Journal of Functional Programming
Abstract The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community. In a practical sense, the (embedded) domain-specific languages (dsls) that are currently in use for tensor algebra are either 1.
JEAN-PHILIPPE BERNARDY, PATRIK JANSSON
openaire   +3 more sources

Domain-Specific Dictionary between Human and Machine Languages

Information
In the realm of artificial intelligence, knowledge graphs have become an effective area of research. Relationships between entities are depicted through a structural framework in knowledge graphs.
Md Saiful Islam, Fei Liu
doaj   +1 more source

Developing Microservice-Based Applications Using the Silvera Domain-Specific Language

Applied Sciences, 2022
Microservice Architecture (MSA) is a rising trend in software architecture design. Applications based on MSA are distributed applications whose components are microservices.
Alen Suljkanović, Branko Milosavljević, Vladimir Inđić, Igor Dejanović   +3 more
doaj   +1 more source

Unembedding domain-specific languages [PDF]

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 2009
Higher-order abstract syntax provides a convenient way of embedding domain-specific languages, but is awkward to analyse and manipulate directly. We explore the boundaries of higher-order abstract syntax. Our key tool is the unembedding of embedded terms as de Bruijn terms, enabling intensional analysis.
Atkey, Robert, Lindley, Sam, Yallop, Jeremy   +2 more
openaire   +2 more sources

Systematically deriving domain-specific transformation languages [PDF]

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model transformation approaches (regardless of whether they transform graphical or textual ...
Katrin Hölldobler, Bernhard Rumpe, Ingo Weisemöller   +2 more
semanticscholar   +1 more source