( en | de | ru )

 

Disambiguation of "Cruz, Flávio"

Author of the publication

copydeleteadd this publication to your clipboard
Single Time-Stamped Tries for Retroactive Call Subsumption

, and . CoRR, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Flávio Justino

Flávio Siebeneichler

Flávio Justino

Flávio Justino

Flávio Ceci

 

Other publications of authors with the same name

Single Time-Stamped Tries for Retroactive Call Subsumption, and . CoRR, (2011)Linear Logic and Coordination for Parallel Programming. University of Porto, Portugal, (2015)Declarative coordination of graph-based parallel programs., , and . PPoPP, page 4:1-4:12. ACM, (2016)Retroactive Subsumption-Based Tabled Evaluation of Logic Programs., and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 130-142. Springer, (2010)Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs., and . Theory Pract. Log. Program., 11 (4-5): 697-712 (2011)Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs., , and . PPDP, page 43-54. ACM, (2014)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , and . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)A scalable file based data store for forensic analysis., , and . Digit. Investig., (2015)Thread-Aware Logic Programming for Data-Driven Parallel Programs., , and . ICLP (Technical Communications), volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities., and . PADL, volume 9131 of Lecture Notes in Computer Science, page 34-49. Springer, (2015)