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

Search results

  • 1994

    Goal dependent vs. Goal independent analysis of logic programs

    Codish, M., García de la Bands, M., Bruynooghc, M. & Hermenegildo, M., 1994, Logic Programming and Automated Reasoning - 5th International Conference, LPAR 1994, Proceedings. Pfenning, F. (ed.). Springer Berlin Heidelberg, p. 305-319 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 822 LNAI).

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

    5 Scopus citations
  • 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
  • Suspension Analyses for Concurrent Logic Programs

    Codish, M., Falaschi, M. & Marriott, K., 5 Jan 1994, In: ACM Transactions on Programming Languages and Systems. 16, 3, p. 649-686 38 p.

    Research output: Contribution to journalArticlepeer-review

    30 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
  • Modelling prolog control

    Barbuti, R., Codish, M., Giacobazzi, R. & Levi, G., 1 Dec 1993, In: Journal of Logic and Computation. 3, 6, p. 579-603 25 p.

    Research output: Contribution to journalEditorial

    13 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
  • 1991

    Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis

    Codish, M., Dams, D. & Yardeni, E., 1 Dec 1991, p. 79-93. 15 p.

    Research output: Contribution to conferencePaperpeer-review

    33 Scopus citations
  • Suspension analysis for concurrent logic programs

    Codish, M., Falaschi, M. & Marriott, K., 1 Dec 1991, p. 331-345. 15 p.

    Research output: Contribution to conferencePaperpeer-review

    21 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
  • Specialisation of Prolog and FCP programs using abstract interpretation

    Gallagher, J., Codish, M. & Shapiro, E., 1 Sep 1988, In: New Generation Computing. 6, 2-3, p. 159-186 28 p.

    Research output: Contribution to journalArticlepeer-review

    33 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

  • 1987

    Compiling OR-parallelism into AND-parallelism

    Codish, M. & Shapiro, E., 1 Mar 1987, In: New Generation Computing. 5, 1, p. 45-61 17 p.

    Research output: Contribution to journalArticlepeer-review

    6 Scopus citations
  • 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
  • Pressing for parallelism: a PROLOG program made Concurrent

    Sterling, L. & Codish, M., 1 Jan 1986, In: Journal of Logic Programming. 3, 1, p. 75-92 18 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations