bibtex

@inproceedings{JDR00b,
    title = { Specifying Prolog Trace Models with a Continuation Semantics },
    author = {Jahier, Erwan and Ducass\'e, Mireille and Ridoux, Olivier},
    year = {2000},
    booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers},
    pages = {165-182},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {2042},
    team = {irisa/lande},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3901097