LFL公司 swMATH ID: 31194 软件作者： M.Araujo；音乐硕士 描述： LFL：面向对象动作语义的泛型类库。我们介绍了LFL（语言特性库），这是一个由用面向对象动作语义编写的通用规范类组成的库。面向对象的动作语义是一种新的动作语义方法，它利用类、对象和继承的概念来促进编程语言规范的重用和扩展。我们开发了一个案例研究，其中使用LFL在面向对象的动作语义中指定了一种类似Java的编程语言。 主页： https://ieeexplore.ieee.org/document/1372103 相关软件： 莫德;MMT公司 引用于： 0个文档