A Logic-Based Transformation System.

@article{DBLP:journals/tkde/TsaiLW98,
  author    = {Jeffrey J. P. Tsai and
               Bing Li and
               Thomas J. Weigert},
  title     = {A Logic-Based Transformation System},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {1},
  year      = {1998},
  pages     = {91-107},
  ee        = {db/journals/tkde/TsaiLW98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1998 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Online Edition: IEEE Computer Society DL

References

[1]

David R. Barstow: Automatic Programming for Streams II: Transformational Implementation. ICSE 1988: 439-447

[2]

Annalisa Bossi, Nicoletta Cocco, S. Dulli: A Method for Specializing Logic Programs. ACM Trans. Program. Lang. Syst. 12(2): 253-302(1990)

[3]

Saumya K. Debray: Flow Analysis of Dynamic Logic Programs. J. Log. Program. 7(2): 149-176(1989)

[4]

Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Logic Programs. J. Log. Program. 5(3): 207-229(1988)

[5]

...

[6]

Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray: Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. 13(4): 349-366(1992)

[7]

Heikki Mannila, Esko Ukkonen: Flow Analysis of Prolog Programs. SLP 1987: 205-214

[8]

...

[9]

Uday S. Reddy: Transformation of Logic Programs into Functional Programs. SLP 1984: 187-196

[10]

...

[11]

Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. ICLP 1984: 127-138

[12]

Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang: A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. IEEE Trans. Software Eng. 18(12): 1076-1100(1992)

[13]

...

[14]

...

[15]

Maurice Bruynooghe: Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. ICLP 1982: 129-133

[16]

Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen: Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987: 192-204

[17]

Chris Mellish: Some Global Optimizations for a Prolog Compiler. J. Log. Program. 2(1): 43-66(1985)