Regular tree languages as an abstract domain in program specialisation

被引：12
|
作者：
Gallagher, John P. [1 ]
Peralta, Julio C. [1 ]
机构：
[1] Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, United Kingdom
来源：
Higher-Order and Symbolic Computation | 2001年 / 14卷 / 2-3期
关键词：
Most specific generalisation - Partial evaluation - Program specialisation - Regular tree languages;
D O I：
10.1023/A:1012936614361
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：143 / 172
相关论文
共 50 条
  • [1] Axiomatizing the equational theory of regular tree languages -: Extended abstract
    Ésik, Z
    STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 455 - 465
  • [2] Program specialisation and abstract interpretation reconciled
    Leuschel, M
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 220 - 234
  • [3] Learning of Regular ω-Tree Languages
    Jayasrirani, M.
    Begam, M. H.
    Thomas, D. G.
    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, 5278 : 295 - +
  • [4] Abstract Regular Tree Model Checking
    Bouajjani, Ahmed
    Habermehl, Peter
    Rogalewicz, Adam
    Vojnar, Tomas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (01) : 37 - 48
  • [5] Abstract regular (tree) model checking
    Ahmed Bouajjani
    Peter Habermehl
    Adam Rogalewicz
    Tomáš Vojnar
    International Journal on Software Tools for Technology Transfer, 2012, 14 (2) : 167 - 191
  • [6] On topological completeness of regular tree languages
    Michalewski, H. (H.Michalewski@mimuw.edu.pl), 1600, Springer Verlag (7230 LNCS):
  • [7] Regular tree languages definable in FO
    Benedikt, M
    Segoufin, L
    STACS 2005, PROCEEDINGS, 2005, 3404 : 327 - 339
  • [8] Regular tree languages and quasi orders
    Petkovic, Tatjana
    ACTA CYBERNETICA, 2006, 17 (04): : 811 - 823
  • [9] Algebraic classifications of regular tree languages
    Steinby, M
    STRUCTURAL THEORY OF AUTOMATA, SEMIGROUPS, AND UNIVERSAL ALGEBRA, 2005, 207 : 381 - 432
  • [10] Stochastic Inference of Regular Tree Languages
    Rafael C. Carrasco
    Jose Oncina
    Jorge Calera-Rubio
    Machine Learning, 2001, 44 : 185 - 197
12345