CIC:bert96

Didier Bert, Rachid Echahed, Kamel Adi. Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation. In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich (Germany), 1996.

Contact

Didier Bert

Référence BibTex

@InProceedings{CIC:bert96,
   Author = {Bert, Didier and Echahed, Rachid and Adi, Kamel},
   Title = {{Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation}},
   BookTitle = {Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology},
   Address = {Munich (Germany)},
   Year = {1996}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)