Searhing semantically equivalent code fragments in logic programs

Wim Vanhoof

Searhing semantically equivalent code fragments in logic programs

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Logic Based Program Synthesis and Transformation
Pages	1-18
Nombre de pages	18
Volume	3573
Etat de la publication	Publié - 2005

Série de publications

Nom	Logic Based Program Synthesis and Transformation

Contient cette citation

@inproceedings{deae593ae2bd4b029c59edfd7054b66c,

title = "Searhing semantically equivalent code fragments in logic programs",

author = "Wim Vanhoof",

year = "2005",

language = "English",

volume = "3573",

series = "Logic Based Program Synthesis and Transformation ",

pages = "1--18",

booktitle = "Logic Based Program Synthesis and Transformation",

}

Searhing semantically equivalent code fragments in logic programs. / Vanhoof, Wim.
Logic Based Program Synthesis and Transformation. Vol 3573 2005. p. 1-18 (Logic Based Program Synthesis and Transformation ).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque