The field of quantum programming languages is developing rapidly ... of programming languages for quantum computing, the application of established ..., and the design of compilers for quantum programming languages. This article justifies
eatcs, 86:176-196, 2005. [doi]What is extensibility? What is it good for, if anything? Is it worth bothering about when designing a programming language?
afips 1975: 287-290 [doi]Today, language-oriented programming (LOP) is realized by using either language workbenches or internal DSLs, each with their own advantages and disadvantages. In this work, we design a host language for DSLs with language workbench
In SPLASH '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 2010: [doi]Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring language theory to bear on both exciting and important
In Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010: 155-156 [doi]A reversible programming language supports deterministic forward and backward computation. We formalize the programming language Janus and prove its reversibility. We provide a program inverter for the language and implement a self
PEPM 2007: 144-153 [doi]The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages ... extensions of functional languages. Based on these results, we believe that our
ESOP 1990: 134-151Stratego/XT is a language and toolset for program transformation ..., programmable rewriting strategies for controlling the application of rules, concrete ... specifications. Complete program transformation systems are composed from
SCP, 72(1-2):52-70, 2008. [doi]These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some ..., and potential applicability to visual and modelling languages. References
ENTCS, 148(1):41-73, 2006. [doi]Automatically generated lexers and parsers for programming languages have a long history. Although they are well suited for many languages, many widely used ... that arise in embedded languages, in legacy languages, and in programming
SCP, 61(3):211-227, 2006. [doi]Compile-time meta-programming allows programs to be constructed by the user
Technical Report TR-04-11, 2002.In a procedurally reflective programming language, all programs are executed ... by the explicit running of a program that represents that interpreter ... at which programs are processed, all simultaneously active. It is therefore
lfp 1984: 331-347Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types ... programming language, using the Epigram notation defined by McBride and McKinna
PhD thesis, University of Durham, 2005.Programming languages are the primary mechanism by which software is created, yet most of us have access to only a few, fixed, programming languages. Any problem we wish to express must be framed in terms of the concepts the programming
OOPSLA 2009: 949-955 [doi]