`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: Cruz:Fl=aacute=vio

### Contributed to:

### 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.