Executable component-based semantics.
Journal of Logical and Algebraic Methods in Programming(2019)
摘要
•Introduces CBS, a specification language for component-based language definitions.•Describes the tools that support CBS and render its specifications executable.•Explains how modular micro-interpreters are generated from component definitions.•Demonstrates how the definition of a language changes as the language evolves.•Introduces two new classes of auxiliary semantic entities and illustrates their use.
更多查看译文
关键词
Programming languages,Formal semantics,Reuse,Components,Tool support
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要