Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
对我来说,“Gurevich 抽象状态机”(以前称为“进化代数”)的概念似乎很有希望为系统行为提供坚实的基础。它可能是数据库的关系代数:潜在的理论基础。
据我所知,最完整的实现是生成 .NET 程序集的 Microsoft ASML语言。
有人真的在工作环境中使用它吗?而且,以防万一,成功程度如何?
如果其他人有成功的故事可以分享,我真的很想开始进行更多调查。
几年前我尝试过,但似乎这个项目已经过时了。很遗憾,因为我有点喜欢它。