Searhing semantically equivalent code fragments in logic programs

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic Based Program Synthesis and Transformation
Pages	1-18
Number of pages	18
Volume	3573
Publication status	Published - 2005

Name	Logic Based Program Synthesis and Transformation

Cite this

@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",

}