Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics.

Ghada Fakhry, Nada Sharaf, Slim Abdennadher

Browse the full LOPSTR paper archive.