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