… features that are not enforced. We developed the WebDSL web programming language … machines, and can be instantly updated everywhere. However, web programming …, linguistic abstractions for web programming concerns, and automatically enforces …
Programming 2020: 77-83 [doi]… The field of quantum programming languages is developing rapidly … of programming languages for quantum computing, the application of established … 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]… Programming languages should be formally specified in or- der to reason about programs written in them. We show that, given two formally specified programming … language, in which programs consist of pairs of programs from the initial languages …
In 22nd International Workshop on Algebraic Development Techniques. 2015: 30-47… 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-151… the pragmatics of programming in multiple languages and the principles underlying programming language design and implementation. These topics strengthen students … programming model and language for a given problem, and improve their design skills …
SIGPLAN Education Board, June 2010.… level programming language than by the construction of a whole new compiler … that a programming language is best described functionally as a body of macro … of which a programming notation may be described. A supporting discussion …
CACM, 11(1):15-25, 1968. [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]… on the Stratego programming language, we also describe it generally throughout this paper. Many currently used programming languages have a compiler that is much … whole-program compiler. We find that the incremental build system inside …
Programming, 4(3):16, 2020. [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]… and building blocks for a new Web programming language that targets the Web … and show where our language fits within the competitive landscape of programming … applications as distributed programs, where the special need for XML processing …
seaa 2008: 310-317 [doi]