A concurrent operational semantics for constraint functional logic programming

  1. Del Vado Vírseda, R..
  2. Morente, F.P.
  3. Toledo, M.M.G.
Proceedings:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783939897439

Year of publication: 2012

Volume: 17

Pages: 154-163

Type: Conference paper

DOI: 10.4230/LIPICS.ICLP.2012.154 GOOGLE SCHOLAR