Abstract
Original language | English |
---|---|
Article number | ENTCS18421 |
Pages (from-to) | 121-148 |
Number of pages | 28 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 303 |
DOIs | |
Publication status | Published - 28 Mar 2014 |
Fingerprint
Keywords
- Coinduction
- Corecursion
- Guardedness
- Parallelism
- GoLang
Cite this
}
Exploiting parallelism in coalgebraic logic programming. / Komendantskaya, Ekaterina; Schmidt, Martin ; Heras, Jonathan.
In: Electronic Notes in Theoretical Computer Science, Vol. 303, ENTCS18421, 28.03.2014, p. 121-148.Research output: Contribution to journal › Article
TY - JOUR
T1 - Exploiting parallelism in coalgebraic logic programming
AU - Komendantskaya, Ekaterina
AU - Schmidt, Martin
AU - Heras, Jonathan
PY - 2014/3/28
Y1 - 2014/3/28
N2 - We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.
AB - We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.
KW - Coinduction
KW - Corecursion
KW - Guardedness
KW - Parallelism
KW - GoLang
UR - http://www.scopus.com/inward/record.url?scp=84896482596&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2014.02.007
DO - 10.1016/j.entcs.2014.02.007
M3 - Article
AN - SCOPUS:84896482596
VL - 303
SP - 121
EP - 148
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
M1 - ENTCS18421
ER -