An optimized program analysis based on constraint logic programming

被引：0
|
作者：
Guo, Xi [1 ]
Zhang, Huanguo [1 ,2 ]
Zhao, Bo [1 ,2 ]
Li, Jing [1 ]
机构：
[1] School of Computer, Wuhan University, Wuhan, Hubei, China
[2] Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education, Wuhan University, Wuhan, Hubei, China
来源：
Journal of Convergence Information Technology | 2012年 / 7卷 / 08期
关键词：
D O I：
10.4156/jcit.vol7.issue8.20
中图分类号：
学科分类号：
摘要：
15
引用
收藏
页码：177 / 184
相关论文
共 50 条
  • [1] Logic programming and constraint logic programming
    Cohen, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [2] Neural Guided Constraint Logic Programming for Program Synthesis
    Zhang, Lisa
    Rosenblatt, Gregory
    Fetaya, Ethan
    Liao, Renjie
    Byrd, William E.
    Might, Matthew
    Urtasun, Raquel
    Zemel, Richard
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [3] An Ontology Analysis Implementation in Constraint Logic Programming
    de Oliveira Rodrigues, Cleyton Mario
    Goncalves de Freitas, Frederico Luiz
    de Azevedo, Ryan Ribeiro
    [J]. 2015 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT), VOL 1, 2015, : 317 - 320
  • [4] Semiring-based Constraint Logic Programming
    Bistarelli, S
    Montanari, U
    Rossi, F
    [J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 352 - 357
  • [5] Constraint logic programming
    Gavanelli, Marco
    Rossi, Francesca
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 64 - 86
  • [6] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    [J]. BYTE, 1987, 12 (09): : 171 - &
  • [7] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    [J]. BYTE, 1995, 20 (02): : 159 - 160
  • [8] Constraint logic programming
    Wallace, M
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
  • [9] Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming
    Ahlgren, John
    Yuen, Shiu yin
    [J]. JOURNAL OF MACHINE LEARNING RESEARCH, 2013, 14 : 3649 - 3682
  • [10] Efficient program synthesis using constraint satisfaction in inductive logic programming
    Ahlgren, John
    Yuen, Shiu Yin
    [J]. 2013, Microtome Publishing (14) : 3649 - 3681
12345