Executable component-based semantics.

Journal of Logical and Algebraic Methods in Programming(2019)

引用 16|浏览135
暂无评分
摘要
•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 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要