Generating language-based environments
Generating language-based environments
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theory and art of semantics-directed program execution monitoring
Theory and art of semantics-directed program execution monitoring
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic Lego
Generating testing and analysis tools with Aria
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Programming pearls: little languages
Communications of the ACM
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Scripting COM Components in Haskell
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Modular monadic semantics and compilation
Modular monadic semantics and compilation
Modeling interactive 3D and multimedia animation with an embedded language
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Prototyping real-time vision systems: an experiment in DSL design
Proceedings of the 21st international conference on Software engineering
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
IEEE Transactions on Software Engineering
Service Combinators for Web Computing
IEEE Transactions on Software Engineering
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Tagless staged interpreters for typed languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
Higher-Order and Symbolic Computation
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Frappé: Functional Reactive Programming in Java
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Compiling Embedded Programs to Byte Code
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Parallel Programming by Transformation
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Language Prototyping Tool Based on Semantic Building Blocks
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
FVision: A Declarative Language for Visual Tracking
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Tutorial: Compiling concurrent languages for sequential processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
Journal of Functional Programming
Improving the static analysis of embedded languages via partial evaluation
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Implementing DSLs in metaOCaml
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
GLU embedded in C++: a marriage between multidimensional and object-oriented programming
Software—Practice & Experience
Journal of Functional Programming
ACM SIGGRAPH 2005 Electronic Art and Animation Catalog
Dynamic applications from the ground up
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Dynamic adapter generation for data integration middleware
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
EDUCATIONAL PEARL: Automata via macros
Journal of Functional Programming
Many cyclic block diagrams do not need parallel semantics
ACM SIGPLAN Notices
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Concoqtion: indexed types now!
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Domain specific embedded compilers
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Why it's nice to be quoted: quasiquoting for haskell
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
A preliminary study on various implementation approaches of domain-specific language
Information and Software Technology
Domain specific language implementation via compile-time meta-programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamically linked domain-specific extensions for advice languages
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Generative and Transformational Techniques in Software Engineering II
Nettle: A Language for Configuring Routing Networks
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A little language for surveys: constructing an internal DSL in Ruby
Proceedings of the 46th Annual Southeast Regional Conference on XX
Causal commutative arrows and their optimization
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Versatile language semantics with reflective embedding
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Complementing Ada with other programming languages
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
An architecture for composing embedded domain-specific languages
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Formalizing Homogeneous Language Embeddings
Electronic Notes in Theoretical Computer Science (ENTCS)
A Pure Object-Oriented Embedding of Attribute Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular domain-specific language components in scala
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Language virtualization for heterogeneous parallel computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A controlled language for the specification of contracts
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Comparative Study of DSL Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Mixed-level embedding and JIT compilation for an iteratively staged DSL
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Design and implementation of domain-specific language easytime
Computer Languages, Systems and Structures
Embedding a functional hybrid modelling language in Haskell
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Growing a language environment with editor libraries
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Integrated language definition testing: enabling test-driven language development
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
SugarJ: library-based syntactic language extensibility
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Flexible object layouts: enabling lightweight language extensions by intercepting slot access
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Haskell boards the ferry: database-supported program execution for Haskell
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Towards a formal semantics for a structurally dynamic noncausal modelling language
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
rbFeatures: Feature-oriented programming with Ruby
Science of Computer Programming
Software variability: the design space of configuration languages
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Declarative scripting in haskell
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Generating smart wrapper libraries for arbitrary APIs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Journal of Functional Programming - Dedicated to ICFP 2009
Efficient code generation for a domain specific language
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Empirical Software Engineering
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
Communications of the ACM
Palovca: describing and executing graph algorithms in haskell
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Supporting software language engineering by automated domain knowledge acquisition
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Towards a DSM-based framework for the development of complex simulation systems
Proceedings of the 2011 Summer Computer Simulation Conference
Modular extensions for modular (logic) languages
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Feldspar: application and implementation
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
mbeddr: an extensible C-based programming language and IDE for embedded systems
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Generic monadic constructs for embedded languages
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Language composition untangled
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Feature-oriented language families: a case study
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Approaches to modelling security scenarios with domain-specific languages
SP'12 Proceedings of the 20th international conference on Security Protocols
Reconstructing the software environment of an experiment with kameleon
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
Incremental concrete syntax for embedded languages with support for separate compilation
Science of Computer Programming
Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby
Proceedings of the 17th Conference on Pattern Languages of Programs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
A pure embedding of attribute grammars
Science of Computer Programming
| Hi-index | 0.02 |
A domain specific language (DSL) allows one to develop software for a particular application domain quickly and effectively, yielding programs that are easy to understand, reason about, and maintain. On the other hand, there may be a significant overhead in creating the infrastructure needed to support a DSL. To solve this problem, a methodology is described for building domain specific embedded languages (DSELs), in which a DSL is designed within an existing, higher-order and typed, programming language such as Haskell or ML. In addition, techniques are described for building modular interpreters and tools for DSELs. The resulting methodology facilitates reuse of syntax, semantics, implementation code, software tools, as well as look-and-feel.