A generic framework for the analysis and specialization of logic programs

被引：0
|
作者：
Puebla, G [1 ]
Albert, E
Hermenegildo, M
机构：
[1] Tech Univ Madrid, Sch Comp Sci, Madrid, Spain
[2] Univ Complutense Madrid, Sch Comp Sci, Madrid, Spain
[3] Univ New Mexico, Dept Comp Sci, Albuquerque, NM 87131 USA
[4] Univ New Mexico, Dept El & Comp Eng, Albuquerque, NM 87131 USA
来源：
LOGIC PROGRAMMING, PROCEEDINGS | 2005年 / 3668卷
关键词：
D O I：
10.1007/11562931_32
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：407 / 409
页数：3
相关论文
共 50 条
  • [1] A generic framework for specialization
    Thiemann, P
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 267 - 281
  • [2] A framework for analysis of typed logic programs
    Lagoon, V
    Stuckey, PJ
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 296 - 310
  • [3] (Generic) Packages for Logic Programs
    Jacquenet, Francois
    Bernard, Marc
    [J]. 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 1010 - 1015
  • [4] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
  • [5] Generic models of logic programs
    Sigal, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (05) : 629 - 661
  • [6] A Modular and Generic Analysis Server System for Functional Logic Programs
    Hanus, Michael
    Skrlac, Fabian
    [J]. PEPM '14: PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2014, : 181 - 188
  • [7] Specialization of inductively sequential functional logic programs
    Alpuente, M
    Hanus, M
    Lucas, S
    Vidal, G
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (09) : 273 - 283
  • [8] A General Framework for Automatic Termination Analysis of Logic Programs
    Nachum Dershowitz
    Naomi Lindenstrauss
    Yehoshua Sagiv
    Alexander Serebrenik
    [J]. Applicable Algebra in Engineering, Communication and Computing, 2001, 12 : 117 - 156
  • [9] A general framework for automatic termination analysis of logic programs
    Dershowitz, N
    Lindenstrauss, N
    Sagiv, Y
    Serebrenik, A
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2001, 12 (1-2) : 117 - 156
  • [10] A generic framework for context-sensitive analysis of modular programs
    Puebla, G
    Correas, J
    Hermenegildo, MV
    Bueno, F
    de la Banda, MG
    Marriott, K
    Stuckey, PJ
    [J]. PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 233 - 260
12345