4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Handbook of theoretical computer science (vol. B)
Action semantics
Modularity and reusability in attribute grammars
Acta Informatica
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Types and programming languages
Types and programming languages
Communication and Concurrency
The Definition of Standard ML
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Towards a mechanized metatheory of standard ML
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
An action compiler targeting Standard ML
Science of Computer Programming
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Compiling Esterel
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
The java memory model: operationally, denotationally, axiomatically
ESOP'07 Proceedings of the 16th European conference on Programming
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Component-based security policy design with colored Petri nets
Semantics and algebraic specification
A complete, co-inductive syntactic theory of sequential control and state
Semantics and algebraic specification
Hi-index | 0.00 |
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel features that might be included in future languages. Nevertheless, to give a completely formal, validated description of any significant programming language using the conventional frameworks remains an immense effort, disproportionate to its perceived benefits. Our diagnosis of the causes of this disappointing situation highlights two major deficiencies in the pragmatic aspects of formal language descriptions in conventional frameworks: lack of reusable components, and poor tool support. Part of the proposed remedy is a radical shift to a novel component-based paradigm for the development of complete language descriptions, based on simple interfaces between descriptions of syntactic and semantic aspects, and employing frameworks that allow independent description of individual programming constructs. The introduction of a language-independent notation for common programming constructs maximises the reusability of components. Tool support for component-based language description is being developed using the ASF+SDF Meta-Environment; the aim is to provide an efficient component-based workbench for use in design and implementation of future programming languages, accompanied by an online repository for validated formal descriptions of programming constructs and languages.