PAN - The Prolog Analyzer

机译：PAN - Prolog分析仪

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

PAN is a tool that performs static analysis of Prolog programs. Its main pur?pose is to detect errors and inconsistencies during the coding and maintenance phase of software development. To use PAN the programmer has to equip the Prolog program with signature specifications. Version 2.0 is able to check the following properties of a Prolog program -well-typedness-completeness -termination-unintended-backtracking-adherence to certain coding standards.

机译：PAN是一种执行对Prolog计划静态分析的工具。它的主要pur？姿势是在软件开发的编码和维护阶段检测错误和不一致。要使用PAN，程序员必须用签名规范装备Prolog程序。 2.0版本能够检查Prolog程序的以下属性 - inell-typennessness-conference-termination-whiteand-backtracking-Accoleve，遵守某些编码标准。

著录项

来源
《International Static Analysis Symposium》|1996年||共2页
会议地点
作者
Martin Muller; Thomas GlaB; Karl Stroetmann;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP312-532;
关键词

相似文献

外文文献
中文文献
专利

1. Opium: An extendable trace analyzer for Prolog [J] . Ducasse Mireille The Journal of Logic Programming . 1999,第1期

机译：鸦片：用于Prolog的可扩展跟踪分析器
2. Sirolimus with tacrolimus did not prologed wound healing in pancreas and kidney transplantation - randomized single center study with 5-year follow-up [J] . Girman Peter, Saudek Frantisek, Boucek Petr, Xenotransplantation . 2015,第Suppla1期

机译：西罗莫司与他克莫司未在胰腺和肾脏移植中阻碍伤口愈合-随机单中心研究，随访5年
3. Prologed Elevation of Plasma Free Fatty Acids Impairs Pancreatic β -Cell Function in Obese Nondiabetic Humans But Not in Individuals With Type 2 Diabetes [J] . Andre Carpentier, Steven D. Mittelman, Richard N. Bergman Diabetes . 2000,第3期

机译：血浆游离脂肪酸的长期升高会损害肥胖的非糖尿病人的胰岛β细胞功能，但不会影响2型糖尿病患者的胰岛β细胞功能
4. PAN - The Prolog Analyzer [C] . Martin Muller, Thomas GlaB, Karl Stroetmann International Static Analysis Symposium . 1996

机译：PAN - Prolog分析仪
5. The prologue to the "Decretum" and "Panormia" of Ivo of Chartres. An eleventh century treatise on ecclesiastical jurisprudence. [D] . Brasington, Bruce Clark. 1990

机译：沙特尔州伊沃（Ivo）的“ Decretum”和“ Panormia”的序幕。关于教会法学的十一世纪论文。
6. Prologation of c-Jun N-Terminal Kinase is Associated with Cell Death Induced by Tumor Necrosis Factor Alpha in Human Chondrocytes [O] . Ho Sung Yoon, Hyun Ah Kim 2004

机译：c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
7. Opium: an extendable trace analyzer for Prolog [O] . Ducassé Mireille 1999

机译：Opium：用于Prolog的可扩展跟踪分析器
8. Security Analyzer: A Security Analyzer Program Written in Prolog [R] . Zimmerman, B. D. , Densley, P. J. 1986

机译：安全分析器：一个用prolog编写的安全分析器程序

PAN - The Prolog Analyzer

摘要

著录项

相似文献

相关主题

期刊订阅