BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × USA
1 × United Kingdom
Collaborated with:
R.Rocha S.C.Goldstein F.Pfenning
Talks about:
program (7) logic (5) linear (3) multithread (1) comprehens (1) implement (1) subsumpt (1) structur (1) prioriti (1) parallel (1)

Person: Flávio Cruz

DBLP DBLP: Cruz:Fl=aacute=vio

Contributed to:

ICLP TC 20152015
PADL 20152015
ICLP 20142014
PPDP 20142014
ICLP 20112011

Wrote 5 papers:

ICLP-2015-CruzRG #data-driven #logic programming #parallel #source code #thread
Thread-Aware Logic Programming for Data-Driven Parallel Programs (FC, RR, SCG), pp. 191–203.
PADL-2015-CruzR #compilation #linear #logic programming #on the #source code
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
ICLP-J-2014-CruzRGP #concurrent #graph #linear #logic programming #programming language
A Linear Logic Programming Language for Concurrent Programming over Graph Structures (FC, RR, SCG, FP), pp. 493–507.
PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.
ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.