Algebra of Logic Programming Export

@inproceedings{citeulike:3020480, abstract = {A declarative programming language has two kinds of semantics. The more abstract helps in reasoning about specifications and correctness, while an operational semantics determines the manner of program execution. A correct program should reconcile its abstract meaning with its concrete interpretation. To help in this, we present a kind of algebraic semantics for logic programming. It lists only those laws that are equally valid for predicate calculus and for the standard depth-first...}, author = {Seres, Silvija and Spivey, Michael J. and Hoare, C. A. R.}, booktitle = {International Conference on Logic Programming}, citeulike-article-id = {3020480}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/seres99algebra.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/seres99algebra.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/seres99algebra.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/seres99algebra.html}, keywords = {haskell, logic-programming}, pages = {184--199}, posted-at = {2008-07-19 04:00:06}, priority = {0}, title = {Algebra of Logic Programming}, url = {http://citeseer.ist.psu.edu/seres99algebra.html}, year = {1999} }

TY - CONF ID - citeulike:3020480 L3 - citeulike-article-id:3020480 N2 - A declarative programming language has two kinds of semantics. The more abstract helps in reasoning about specifications and correctness, while an operational semantics determines the manner of program execution. A correct program should reconcile its abstract meaning with its concrete interpretation. To help in this, we present a kind of algebraic semantics for logic programming. It lists only those laws that are equally valid for predicate calculus and for the standard depth-first... EP - 199 TI - Algebra of Logic Programming T2 - International Conference on Logic Programming SP - 184 KW - haskell KW - logic-programming AU - Seres, Silvija AU - Spivey, Michael AU - Hoare, CAR PY - 1999/// UR - http://citeseer.ist.psu.edu/seres99algebra.html ER -