SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ACM Computing Surveys (CSUR)
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
Derivation and Refinement of Textual Syntax for Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Accelerating the creation of customized, language-Specific IDEs in Eclipse
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
Semantics Engineering with PLT Redex
Semantics Engineering with PLT Redex
MontiCore: a framework for compositional development of domain specific languages
International Journal on Software Tools for Technology Transfer (STTT)
The spoofax language workbench: rules for declarative specification of languages and IDEs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
EriLex: an embedded domain specific language generator
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Language boxes: bending the host language with modular language changes
SLE'09 Proceedings of the Second international conference on Software Language Engineering
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Domain-Specific languages in few steps: the neverlang approach
SC'12 Proceedings of the 11th international conference on Software Composition
Xbase: implementing domain-specific languages for Java
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
TraitRecordJ: A programming language with traits and records
Science of Computer Programming
Hi-index | 0.00 |
In this paper we present Xsemantics, a DSL for writing type systems, reduction rules and in general relation rules for languages implemented in Xtext. Xsemantics aims at minimizing the gap between the formalization of a language and the actual implementation in Xtext, since it uses a syntax that resembles the typical rules in a formal setting. We present an implementation of FJ (Featherweight Java) in Xtext together with its type system and operational semantics in Xsemantics. We show how such implementation is pretty faithful to the actual formalization of FJ.