An Overview of ELAN 论文
1998Electronic Notes in Theoretical Computer Science引用 398
Model-Driven Software Engineering TechniquesLogic, programming, and type systemsFormal Methods in Verification
摘要
This paper presents a comprehensive introduction to the ELAN rule-based programming language. We describe the main features of the language, the ELAN environment, and introduce bibliographic references to various papers addressing foundations, implementation and applications of ELAN.