Вы здесь

Codish M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis 1991 Codish M., Dams D., Yardeni E. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Suspension Analysis for Concurrent Logic Programs 1991 Codish M., Falaschi M., Marriott K. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Modelling Prolog Control 1991 Barbuti R., Codish M., Giacobazzi R., Levi G. BIGRE 11.12.1991
СТ Efficient Analysis of Concurrent Constraint Logic Programs 1992 Codish M., Falaschi M., Marriott K., Winsborough W. BIGRE 05.11.1992
СТ Analysing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand 1993 Codish M., Demoen B. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Freeness, Sharing, Linearity and Correctness - All at Once 1993 Bruynooghe M., Codish M. Lecture Notes in Computer Science 11.12.1993
СТ Suspension Analyses for Concurrent Logic Programs 1994 Codish M., Falaschi M., Marriott K. ACM Trans. Programming Languages and Systems 01.09.1994
СТ Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop 1994 Codish M., Demoen B. Lecture Notes in Computer Science 24.11.1994
СТ Proving Implications by Algebraic Approximation 1994 Codish M., Mashevitzky G. Lecture Notes in Computer Science 01.11.1994
СТ Abstracting Unification: A Key Step in the Design of Logic Program Analyses 1995 Bruynooghe M., Codish M., Mulkers A. Lecture Notes in Computer Science Computer Science Today 01.12.1995
СТ An Algebraic Approach to Sharing Analysis of Logic Programs 1997 Codish M., Lagoon V., Bueno F. Lecture Notes in Computer Science 20.09.1997
СТ Sharing and Groundness Dependencies in Logic Programs 1999 Codish M., Sondergaard H., Stuckey P. J. ACM Trans. on Programming Languages and Systems 27.04.2000
СТ Pos(T): Analyzing Dependencies in Typed Logic Programs 2001 Bruynooghe M., Vanhoof W., Codish M. Lecture Notes in Computer Science 08.02.2002
СТ The Def-inite Approach to Dependency Analysis 2001 Genaim S., Codish M. Lecture Notes in Computer Science 28.04.2001
СТ Meta-circular Abstract Interpretation in Prolog 2002 Codish M., Sondergaard H. Lecture Notes in Computer Science 14.02.2003
СТ Reuse of Results in Termination Analysis of Typed Logic Programs 2002 Bruynooghe M., Codish M., Genaim S., Vanfoof W. Lecture Notes in Computer Science 31.10.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014 2014 Lecture Notes in Computer Science
  1. Codish M.
  2. Sumii E.
29.08.2014