Publications

Publications with the same authors as the Retroactive Subsumption-Based Tabled Evaluation of Logic Programs publication

Group by: Tipo Ano Order: Title Year Type of publication

Other Publications

Single Time-Stamped Tries for Retroactive Call Subsumption

Flávio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Indexing

ISI Web of Knowledge

Article in International Scientific Journal

Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2011

Scientific classification Indexing

ISI Web of Knowledge

Scopus - 1 Citation

FOS: Computer and information sciences

Declarative Coordination of Graph-based Parallel Programs

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Goldstein, SC (Author) (Other)

2016

Indexing

ISI Web of Knowledge

Scopus - 3 Citations

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Seth Copen Goldstein (Author) (Other); Frank Pfenning (Author) (Other)

2014

Scientific classification Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 7 Citations

FOS: Computer and information sciences

Article in International Conference Proceedings Book

Thread-aware logic programming for data-driven parallel programs

Cruz, F (Author) (Other); Rocha, R (Author) (FCUP); Goldstein, SC (Author) (Other)

2015

Indexing

ISI Web of Knowledge

Scopus

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Flavio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP)

2015

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

FOS: Computer and information sciences

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

Flávio Cruz (Author) (FCUP); Ricardo Rocha (Author) (FCUP)

2010

Scientific classification

FOS: Computer and information sciences

CORDIS: Programming

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

Flávio Cruz (Author) (Other); Ricardo Rocha (Author) (FCUP); Seth Copen Goldstein (Author) (Other)

2014

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

A parallel virtual machine for executing forward-chaining linear logic programs

Cruz, F (Author) (Other); Rocha, R (Author) (FCUP); Goldstein, SC (Author) (Other)

2014

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Records 1 to 9 from 9

 

1