ASL语言相关论文
国家审计署于2008年4月1日下发了《审计署关于印发计算机审计方法语言编制规范——计算机审计实务公告第13号的通知》等关于计算机......
本文讨论了代数和规范说明技术及其到逻辑程序设计语言PROLOG的转换,首先给出了一种基于抽象数据类型的代数规格证明语言ASL;然后介绍了由ASL描述......