Publicações

Publicações com os mesmos autores da publicação On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Outras Publicações

Single Time-Stamped Tries for Retroactive Call Subsumption

Flávio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2011

Indexação

ISI Web of Knowledge

Artigo em Revista Científica Internacional

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

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP)

2011

Classificação Científica Indexação

ISI Web of Knowledge

Scopus - 1 Citação

FOS: Ciências da computação e da informação

Declarative Coordination of Graph-based Parallel Programs

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2016

Indexação

ISI Web of Knowledge

Scopus - 3 Citações

A Linear Logic Programming Language for Concurrent Programming over Graph Structures

Flavio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Seth Copen Goldstein (Autor) (Outra); Frank Pfenning (Autor) (Outra)

2014

Classificação Científica Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 7 Citações

FOS: Ciências da computação e da informação

Artigo em Livro de Atas de Conferência Internacional

Thread-aware logic programming for data-driven parallel programs

Cruz, F (Autor) (Outra); Rocha, R (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2015

Indexação

ISI Web of Knowledge

Scopus

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Flavio Cruz (Autor) (FCUP); Ricardo Rocha (Autor) (FCUP)

2010

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 4 Citações

FOS: Ciências da computação e da informação

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs

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

2010

Classificação Científica

FOS: Ciências da computação e da informação

CORDIS: Programação

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

Flávio Cruz (Autor) (Outra); Ricardo Rocha (Autor) (FCUP); Seth Copen Goldstein (Autor) (Outra)

2014

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

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

Cruz, F (Autor) (Outra); Rocha, R (Autor) (FCUP); Goldstein, SC (Autor) (Outra)

2014

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Registos 1 a 9 de 9

 

1