Correct and Abstract Semantics Lifting for Domain-Specific Language Implementation

Author(s)	Hyacinthe Hamon
Country	United States
Abstract	Implementing domain-specific languages (DSLs) through higher-order functions and macros often leads to abstraction leakage, diminishing their user-friendliness. This paper introduces a semantics-lifting framework to address this challenge. The proposed framework offers a general algorithm to derive DSL semantics independent of the host language based on host semantics and translation rules. It formulates cor- directness and abstraction properties, ensuring the semantics lifting process maintains these properties. Additionally, the paper explores the necessary assumptions for achieving correct and abstract lifted semantics, demonstrated through the implemented system Osazone. Case studies across various host languages, including functional and imperative types, confirm the flexibility and reliability of the framework, ensuring the lifted DSL semantics preserve correctness and abstraction integrity throughout.
Keywords	Domain-Specific Languages (DSLs), Semantics Lifting, Abstraction Leakage, Higher-Order Functions, Correctness and Abstraction Properties, Host-Independent DSL Semantics
Field	Computer > Artificial Intelligence / Simulation / Virtual Reality
Published In	Volume 7, Issue 1, January-February 2025
Published On	2025-02-27
DOI	https://doi.org/10.36948/ijfmr.2025.v07i01.36992
Short DOI	https://doi.org/g86xbw

About IJFMR Fees & Payment Current Issue Publication Archive	Submit Research Paper Track Submission Status Publication Guidelines Publication Ethics Peer Review & Plagiarism	Join as a Reviewer Editors & Reviewers Reviewer Referral Program Get Reviewer Membership Certi.	Website/Journal Policies Usage Policy Content Policies Privacy Policy

Contact Us		+91-9687-828-838	editor@ijfmr.com

International Journal For Multidisciplinary Research