Exploiting Parallelism in Coalgebraic Logic Programming

被引：4

作者：

Komendantskaya, Ekaterina ^{[1
]}

Schmidt, Martin ^{[2
]}

Heras, Jonathan ^{[1
]}

机构：

[1] Univ Dundee, Sch Comp, Dundee, Scotland

[2] Univ Osnabruck, Inst Cognit Sci, Osnabruck, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2014年 / 303卷 / 303期

基金：

英国工程与自然科学研究理事会;

关键词：

Coinduction; Corecursion; Guardedness; Parallelism; GoLang;

D O I：

10.1016/j.entcs.2014.02.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：121 / 148

页数：28

共 50 条

[31] Improving Hybrid FTL by Fully Exploiting Internal SSD Parallelism with Virtual Blocks [J].

He, Dan ;

Wang, Fang ;

Jiang, Hong ;

Feng, Dan ;

Liu, Jing Ning ;

Tong, Wei ;

Zhang, Zheng .

ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2014, 11 (04)

[32] Research on the Parallelism of Security Vulnerability Detection of Logic-unknown PLD [J].

Zhou, Li ;

Li, Qing-Bao ;

Fan, Min ;

Zhou, Guang-en .

2009 INTERNATIONAL FORUM ON COMPUTER SCIENCE-TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, :321-+

[33] Parallelism Reduction Based on Pattern Substitution in Dataflow Oriented Programming Languages [J].

Cudennec, Loic ;

Sirdey, Renaud .

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 :146-155

[34] A Theoretical Perspective of Coinductive Logic Programming [J].

Ancona, Davide ;

Dovier, Agostino .

FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) :221-246

[35] Type Inference by Coinductive Logic Programming [J].

Ancona, Davide ;

Lagorio, Giovanni ;

Zucca, Elena .

TYPES FOR PROOFS AND PROGRAMS, 2009, 5497 :1-18

[36] A LINGUA FRANCA FOR CONCURRENT LOGIC PROGRAMMING [J].

TAYLOR, H .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) :225-236

[37] Exploiting Parallelism for Access Conflict Minimization in Flash-Based Solid State Drives [J].

Gao, Congming ;

Shi, Liang ;

Ji, Cheng ;

Di, Yejia ;

Wu, Kaijie ;

Xue, Chun Jason ;

Sha, Edwin H. -M. .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (01) :168-181

[38] Exploiting parallelism and data locality of systolic array applications using multi-ported FPGA [J].

Lee, H ;

Lidicoat, A ;

Flynn, MJ .

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, :229-235

[39] Resisting Skew-Accumulation for Time-Stepped Applications in the Cloud via Exploiting Parallelism [J].

Zhang, Yu ;

Liao, Xiaofei ;

Jin, Hai ;

Min, Geyong .

IEEE TRANSACTIONS ON CLOUD COMPUTING, 2015, 3 (01) :54-65

[40] A Two-Way Loop Algorithm for Exploiting Instruction-Level Parallelism in Memory System [J].

Misra, Sanjay ;

Alfa, Abraham Ayegba ;

Adewale, Sunday Olamide ;

Akogbe, Michael Abogunde ;

Olaniyi, Mikail Olayemi .

COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 :255-+

← 1 2 3 4 5 →