Reusable components of semantic specifications (original) (raw)
Related papers
Reusable semantic specifications of programming languages
Component-based language implementation with object-oriented syntax and aspect-oriented semantics
2007
Semantics of programming languages: A tool-oriented approach
2000
Deriving a Component Model from a Language Specification : An Example Using Natural Semantics ∗
2004
A case study in specifying the semantics of a programming language
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, 1980
Implementing modular domain specific languages and analyses
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12, 2012
Dynamic semantics for language-based programming environments revisited
1999
Foundations of a simple and unified component-oriented language
luc fabresse, Marianne Huchard
Computer Languages, Systems & Structures, 2008
Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering - CBSE '14, 2014
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
2016
Semantics-Driven Language Design
Electronic Notes in Theoretical Computer Science, 1999
A language to bridge the gap between component-based design and implementation
Computer Languages, Systems & Structures, 2012
An Approach to Formal Specification of Component-Based Software
E-Government Strategies and Advancements, 2011
Can Component Object Model (COM) be Formalized?-The Formal Semantics of the COMEL Language
International Refinement Workshop & Formal Methods Pacific’98, 1998
A component-based approach for specifying DSML's concrete syntax
Proceedings of the Second Workshop on Graphical Modeling Language Development - GMLD '13, 2013
Formal Semantics of Programming Languages - An Overview
Electronic Notes in Theoretical Computer Science, 2006
A Logical Interface Description Language for Components
Lecture Notes in Computer Science, 2000
Languages for System Components: A Case Study
A comparison of two metacompilation approaches to implementing a complex domain-specific language
Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12, 2012
The Asf+ Sdf Meta-Environment: A component-based language development environment
2001
Delft University of Technology Dynsem : A DSL for dynamic semantics specification
2017
Formalism and Language Tools for Specification of the Semantics of Software Libraries
Automatic Control and Computer Sciences, 2017
Electronic Notes in Theoretical Computer Science, 2007
MontiCore: Modular Development of Textual Domain Specific Languages
Lecture Notes in Business Information Processing, 2008
Component-Oriented Programming: From Requirements to Language Support
2020
H: A component-based specification language for heterogeneous applications
Ana Cruz-Martín, Javier Gonzalez-Jimenez
Computer Standards & Interfaces, 2013
Algebraic specifications and refinement for component-based development using raise
Journal of Computer Science and Technologie, 2002
Using domain-specific languages for the realization of component composition
2000
A modular rewriting semantics for CML
2004
DynSem: A DSL for Dynamic Semantics Specification
2015
A Coalgebraic Semantic Framework for Component-based Development in UML
Electronic Notes in Theoretical Computer Science, 2005
The Formalism for Semantics Specification of Software Libraries
System Informatics, 2016