A logic-based transformation system

IEEE Transactions on Knowledge and Data Engineering

Volumn 10, Issue 1, 1998, Pages 91-107

  Tsai, Jeffrey J P ^a,b   Li, Bing ^c   Weigert, Thomas ^d  

^a IEEE   (United States)

^b University of Illinois   (United States)

^c Utek Inc   (United States)

^d MOTOROLA INC   (United States)

Author keywords

Knowledge representation techniques; Multiple inheritance; Nonmonotonic logic; Requirement specification language; Transformation system

Indexed keywords

ALGORITHMS; COMPUTER AIDED LANGUAGE TRANSLATION; DATA REDUCTION; FLOWCHARTING; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

FRAME AND RULE ORIENTED REQUIREMENT SPECIFICATION LANGUAGE (FRORL); LOGIC BASED TRANSFORMATION SYSTEMS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031649860     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.667092     Document Type: Article

References (17)

1. D. Barstow, "Automatic Programming for Streams II: Transformation Implementation," Proc. 10th Int'l Conf. Software Eng., Singapore, pp. 439-447, 1988.
2. A. Bossi, N. Cocco, and S. Dulli, "A Method for Specializing Logic Programs," ACM Trans. Programming Languages and Systems, vol. 12, no. 2, pp. 253-302, Apr. 1990.
3. S.K. Debray, "Flow Analysis of Dynamic Logic Programs," J. Logic Programming, vol. 7, pp. 149-176, 1989.
4. S.K. Debray and D.S. Warren, "Automatic Mode Inference for Logic Programs," J. Logic Programming, vol. 5, pp. 207-229, 1988.
5. M.S. Feather, "A Survey and Classification of Some Program Transformation Approaches and Techniques," Proc. IFIP Working Conf. Program Specification and Transformation, Bad Tolv, Germany, Apr. 1986.
6. M.V. Hermenegildo, R. Warren, and S. K. Debray, "Global Flow Analysis as a Practical Compilation Tool," J. Logic Programming, vol. 13, pp. 349-366, 1992.
7. H. Mannila and E. Ukkonen, "Flow Analysis of Prolog Programs," Proc. Fourth IEEE Symp. Logic Programming, San Francisco, Sept. 1987.
8. H.A. Partsch, Specification and Transformation of Programs: A Formal Approach to Software Development. New York: Springer-Verlag, 1990.
9. U.S. Reddy, "Transformation of Logic Programs into Functional Programs," Proc. 1984 Int'l Symp. Logic Programming, Atlantic City, N.J., IEEE CS Press, pp. 187-196, Feb. 1984.
10. Readings in Artificial Intelligence and Software Engineering, C. Rich and R.C. Waters, eds. Los Altos, Calif.: Morgan-Kaufmann, 1986.
11. H. Tamaki and T. Sato, "Unfold/Fold Transformation of Logic Programs," Proc. Second Int'l Logic Programming Conf., Upssala, Sweden, pp. 127-138, July 1984.
12. J.J.-P. Tsai, T. Weigert, and H.C. Jang, "A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis," IEEE Trans. Software Eng., vol. 18, no. 12, pp. 1,076-1,100, Dec. 1992.
13. J. J.-P. Tsai and T. Weigert, Knowledge-Based Software Development for Real-Time Distributed Systems. World Scientific, 1993.
14. D.H.D. Warren, "An Abstract Prolog Instruction Set," Technical Note 309, SRI International, Menlo Park, Calif., 1983.
15. M. Bruynooghe, "Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs," Proc. First Int'l Logic Programming Conf., Marseille, France, 1982.
16. M. Bruynooghe, B. Demoen, A. Callebaut, and G. Janssens, "Abstract Interpretation: Towards the Global Optimization of Prolog Programs," Proc. Fourth IEEE Symp. Logic Programming, San Francisco, Sept. 1987.
17. C.S. Mellish, "Some Global Optimizations for a Prolog Compiler," J. Logic Programming, vol. 2, no. 1, pp. 43-66, Apr. 1986.