A Logic-Based Transformation System.
Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert:
A Logic-Based Transformation System.
IEEE Trans. Knowl. Data Eng. 10(1): 91-107(1998)@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}
}
BibTeX
Abstract
Copyright © 1998 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
BibTeX
Citation Page
References
- [1]
- David R. Barstow:
Automatic Programming for Streams II: Transformational Implementation.
ICSE 1988: 439-447 BibTeX
- [2]
- Annalisa Bossi, Nicoletta Cocco, S. Dulli:
A Method for Specializing Logic Programs.
ACM Trans. Program. Lang. Syst. 12(2): 253-302(1990) BibTeX
- [3]
- Saumya K. Debray:
Flow Analysis of Dynamic Logic Programs.
J. Log. Program. 7(2): 149-176(1989) BibTeX
- [4]
- Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Logic Programs.
J. Log. Program. 5(3): 207-229(1988) BibTeX
- [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) BibTeX
- [7]
- Heikki Mannila, Esko Ukkonen:
Flow Analysis of Prolog Programs.
SLP 1987: 205-214 BibTeX
- [8]
- ...
- [9]
- Uday S. Reddy:
Transformation of Logic Programs into Functional Programs.
SLP 1984: 187-196 BibTeX
- [10]
- ...
- [11]
- Hisao Tamaki, Taisuke Sato:
Unfold/Fold Transformation of Logic Programs.
ICLP 1984: 127-138 BibTeX
- [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) BibTeX
- [13]
- ...
- [14]
- ...
- [15]
- Maurice Bruynooghe:
Adding Redundancy to Obtain more Reliable and Readable Prolog Programs.
ICLP 1982: 129-133 BibTeX
- [16]
- Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
SLP 1987: 192-204 BibTeX
- [17]
- Chris Mellish:
Some Global Optimizations for a Prolog Compiler.
J. Log. Program. 2(1): 43-66(1985) BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:58 2009