참고문헌
- Proceedings of the 4th ACM Symposium on Principles of Programming Languages Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixed points Cousot, P.;Cousot, R.
- ACM Transactions on Programming Languages and Systems v.15 no.1 A general framework for semantics-basedbottom-up abstract interpretation of logic programs Barbuti, R.;Giacobazzi, R.;Levi, G.
- Theoretical Computer Science Bottom-up abstract interpretation of logic programs Codish, M.;Dams, D.;Yardeni, E.
- Proceedings of the 1993 International Logic Programming Symposium Analysing logic programs using prop-ositional logic programs and a magic wand Codish, M.;Demoen, B.
- Proceedings of ACM Symposium on Applied Computing Goal independency and call patterns in the analysis of logic programs Gabbrielli, M.;Giacobazzi, R.
- Analyzing success patterns of logic programs by abstract hybrid interpretation, ICOT Report TR-279 Kanamori, T.;Kawamura, T.
- Journal of Logic Programming v.15 Abstract interpretation based on OLDT resolution Kanamori, T.;Kawamura, T.
- Proceedings of the 5th International Conference on Logic Programming Bottom-up abstract interpretation of logic programs Marriott, K.;Sondergaard, H.
- Theoretical Computer Science v.34 Enumeration of success patterns in logic programs Sato, T.;Tamaki, H.
- Journal of the ACM v.23 no.4 The semantics of predicate logic as a programming language van Emden, M.H.;Kowalski, R.A.
- Efficient Bottom-up Execution of Logic Programs using Compile-time Analysis Chang, B.M.
- Journal of Logic Programming v.13 Abstract interpretation and application to logic programs Cousot, P.;Cousot, R.
- Theoretical Computer Science v.69 Declarative modeling of the operational behavior of logic languages Falaschi, M.;Levi, G.;Palamidessi, C.;Martelli, M.
- The AND/OR process model for parallel interpretation of logic programs Conery, J.
- Proceedings of the International Conference on Fifth Generation Computer Systems Restricted AND-parallelism DeGroot, D.
- Proceedings of the 4th IEEE Symposiumon Logic Programming Extension tables: memo relations in logic programming Dietrich, S.W.;Warren, D.S.
- Proceedings of the 3rd International Conference on Logic Programming, Lecture Notes in Computer Science v.239 OLD resolution with tabulation Tamaki, H.;Sato, T.
- ACM SIGPLAN Notices v.29 no.2 A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs Zhang, K.
- Information Processing Letters v.47 Efficient bottom-up execution of logic programs using abstract interpretation Chang, B.M.;Choe, K.M.;Han, T.
- Proceedings of International Conference of Algebraic and Logic Programming, Lecture Notes in Computer Science v.632 Oracle semantics for Prolog Barbuti, R.;Codish, M.;Giacobazzi, R.;Maher, M.
- Foundation of Logic Programming Lloyd, J.W.
- Proceedings of the 30th IEEE Computer Society International Conference AND-parallelism of logic programs based on static data dependency analysis Chang, J.H.;Despain, A.M.;DeGroot, D.
- Parallel Processing Letters v.2 Refined mark(s)-set-based backtrack literal selection of AND parallelism in logic programs Kim, D.H.;Choe, K.M.;Han, T.
- Proceedings of the 3th IEEE International Symposium on Logic Programming Selecting the backtrack literal in the AND/OR process model Woo, N.;Choe, K.M.
- Journal of Logic Programming v.13 Bottom-up dataflow analysis of normal logic programs Marriott, K.;Sondergaard, H.
- Science of Computer Programming v.19 no.3 A bottom-up poly-morphic type inference in logic programming Barbuti, R.;Giacobazzi, R.
- Proceedings of the 5th Interna-tional Conference on Logic Programming An instance of abstract interpretation integrating type and mode inferencing Bruynooghe, J.;Janssens, G.