Open AccessProofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq
Author(s) -
Jael Kriener,
Andrew J. King,
Sandrine Blazy
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - prolog , mathematical proof , programming language , computer science , semantics (computer science) , mathematics , geometry