On the Correctness of the Replacement Operation for CLP Modules

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined
Journal	Journal of Functional and Logic Programming
Volume	1996
Publication status	Published - Feb 1996

Keywords

@article{74b1e310905443a6aec95adc88aee89e,

title = "On the Correctness of the Replacement Operation for CLP Modules",

keywords = "EWI-1106",

author = "Sandro Etalle and M. Gabbrielli",

note = "Imported from DIES",

year = "1996",

month = feb,

language = "Undefined",

volume = "1996",

journal = "Journal of Functional and Logic Programming",

issn = "1080-5230",

publisher = "European Association for Programming Languages and Systems",

}