... 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.
... What is extensibility? What is it good for, if anything? Is it worth bothering about when designing a programming language? ...afips 1975: 287-290
... 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.
... 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
... 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.
... 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
... software developers and programming language researchers alike? One crucial step towards achieving these goals is mechanized reasoning about language metatheory. The time has come to bring together the theorem proving and programming language ...vstte 2008: 26-30
... of the more important concepts in programming languages and thus illustrates how ...The origins of “formal methods” lie partly in language description (although applications of methods like VDM, RAISE or B to areas other than programming ...ac 2007: 177-235
... 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 by voice ...SCP, 61(3):211-227, 2006.
... Types 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.
... This document assumes you have a reasonable knowlegde of SDF and parser generation concepts. It helps you solve a common issue when developing or maintaining a grammar for a (legacy) programming language: syntactical ambiguity. SDF has ...Technical Report SEN-1107, 2011.