Extending the FSyntax/Hiord Approach with Imperative Notation.

Paula Corral, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.