If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1994

    Proving implications by algebraic approximation

    Codish, M. & Mashevitzky, G., 1 Jan 1994, Algebraic and Logic Programming - 4th International Conference, ALP 1994, Proceedings. Levi, G. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 850 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 1993

    Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand

    Codish, M. & Demoen, B., 1993, Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993. Miller, D. (ed.). MIT Press Journals, p. 114-129 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Compositional analysis of modular logic programs

    Codish, M., Debray, S. K. & Giacobazzi, R., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 451-464 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    40 Scopus citations
  • Efficient analysis of concurrent constraint logic programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W., 1 Jan 1993, Automata, Languages and Programming - 20th International Colloquium, ICALP 1993, Proceedings. Lingas, A., Karlsson, R. & Carlsson, S. (eds.). Springer Verlag, p. 633-644 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 700 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Freeness, Sharing, linearity and correctness- all at once

    Bruynooghe, M. & Codish, M., 1 Jan 1993, Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Cousot, P., Falaschi, M., File, G. & Rauzy, A. (eds.). Springer Verlag, p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 724 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Freeness Analysis for Logic Programs - And Correctness?

    Codish, M., Dams, D., Filé, G. & Bruynooghe, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 116-131 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Freeness Analysis in the Presence of Numerical Constraints

    Dumortier, V., Janssens, G., Bruynooghe, M. & Codish, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 100-115 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Improving Abstract Interpretations by Combining Domains

    Codish, M., Mulkers, A., Bruynooghe, M., Garcia de la Banda, M. & Hermenegildo, M., 1 Jan 1993, Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation Semantics-Based Program Manipulation. Association for Computing Machinery (ACM), p. 194-205 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    19 Scopus citations
  • 1992

    Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W. H., 1992, Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Billaud, M., Castéran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Atelier Irisa, IRISA, Campus de Beaulieu, Vol. 81-82. p. 35-42 8 p. (Series Bigre).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Modelling Prolog control

    Barbuti, R., Codish, M., Giacobazzi, R. & Levi, G., 1 Jan 1992, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 95-104 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Oracle semantics for prolog

    Barbuti, R., Codish, M., Giacobazzi, R. & Maher, M., 1 Jan 1992, Algebraic and Logic Programming - 3rd International Conference, Proceedings. Levi, G. & Kirchner, H. (eds.). Springer Verlag, p. 100-114 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 632 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • 1988

    Fully abstract denotational semantics for Flat Concurrent Prolog.

    Gerth, R., Codish, M., Lichtenstein, Y. & Shapiro, E., 1 Dec 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 320-335 16 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    24 Scopus citations
  • Using Safe Approximations of Fixed Points for Analysis of Logic Programs

    Codish, M., Gallagher, J. P. & Shapiro, E., 1988, Meta-Programming in Logic Programming: Workshop on Meta-Programming in Logic. Abramson, H. & Rogers, M. H. (eds.). MIT Press Journals, p. 233-261 29 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1986

    Compiling OR-parallelism into AND-parallelism

    Codish, M. & Shapiro, E., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer Verlag, p. 283-297 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations