Structure Analysis of Logic Control Programs

被引：0
|
作者：
Nakamura, Satoshi [1 ]
Fujimoto, Yasutaka [1 ]
机构：
[1] Yokohama Natl Univ, Dept Elect & Comp Engn, Yokohama, Kanagawa 240, Japan
来源：
IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 3 | 2004年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
In this paper, a method to divide a large-scale logic program is proposed. The hierarchical structure of the given logic program can be found by using graph theory. An Illustrative example of elevator control program is shown as application of the proposed theory.
引用
收藏
页码：2588 / 2593
页数：6
相关论文
共 50 条
  • [21] A regular type analysis of logic programs
    Lu, LJ
    Cleary, JG
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 613 - 613
  • [22] Path dependent analysis of logic programs
    Lu, LJ
    ACM SIGPLAN NOTICES, 2002, 37 (03) : 63 - 74
  • [23] Abductive analysis of modular logic programs
    Universita di Pisa, Pisa, Italy
    J Logic Comput, 4 (457-483):
  • [24] A framework for analysis of typed logic programs
    Lagoon, V
    Stuckey, PJ
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 296 - 310
  • [25] Incremental analysis of constraint logic programs
    Hermenegildo, M
    Puebla, G
    Marriott, K
    Stuckey, PJ
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (02): : 187 - 223
  • [26] A backward analysis for constraint logic programs
    King, A
    Lu, LJ
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 (4-5) : 517 - 547
  • [27] COST-ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    LIN, NW
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 826 - 875
  • [28] Suspension analysis for concurrent logic programs
    Codish, Michael
    Falaschi, Moreno
    Marriott, Kim
    Proceedings of the International Conference on Logic Programming, 1991,
  • [29] SERIALIZATION ANALYSIS OF CONCURRENT LOGIC PROGRAMS
    KING, A
    SOPER, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 322 - 334
  • [30] Parameterizing a groundness analysis of logic programs
    Lu, LJ
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 146 - 164
12345