CRACS Publicatons

Export 12 results:
Sort by: Author Title [ Year  (Desc)]
Filters: Author is Flávio Cruz  [Clear All Filters]
2016
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein, "Declarative Coordination of Graph-Based Parallel Programs", in ACM SIGPLAN Notices -- PPoPP 2016 (Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming), ACM, vol. 51, pp.Article nº 4, March 2016.
2015
Flávio Cruz and Ricardo Rocha "On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities", in "17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015)" , Springer - LNCS, vol. 9131, pp.34–49, June 2015.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "Thread-Aware Logic Programming For Data-Driven Parallel Programs", in "31st International Conference on Logic Programming (ICLP 2015) - Technical Communications" , CEUR-WS, vol. 1433, August/September 2015.
2014
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs", in "16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)" Olivier Danvy (eds) , ACM Press, pp.43–53, September 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein and Frank Pfenning, "A Linear Logic Programming Language for Concurrent Programming over Graph Structures", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), Cambridge University Press, vol. 14, pp.493–507, July 2014.
Flávio Cruz and Ricardo Rocha and Seth C. Goldstein "A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" Thomas Ströder and Terrance Swift (eds) , pp.125–139, July 2014.
2012
Flávio Cruz and Michael P. Ashley-Rollman and Seth C. Goldstein and Ricardo Rocha and Frank Pfenning "Bottom-Up Logic Programming for Multicores", in "7th International Workshop on Declarative Aspects and Applications of Multicore Programming (DAMP 2012) - Short Papers" Vítor Santos Costa (eds) , January 2012.  Download: 
2011
Flávio Cruz and Ricardo Rocha "A Simple Table Space Design for Retroactive Call Subsumption", in "15th Portuguese Conference on Artificial Intelligence (EPIA 2011) - Local Proceedings" Luis Antunes and Helena Sofia Pinto (eds) , pp.253–267, October 2011.  Download: 
Flávio Cruz and Ricardo Rocha, "Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs", in Journal of Theory and Practice of Logic Programming (27th International Conference on Logic Programming (ICLP 2011) Special Issue), vol. 11, pp.697–712, July 2011.  Download: iclp11_benchs.tgz (5.04 MB)
Flávio Cruz and Ricardo Rocha "Single Time-Stamped Tries for Retroactive Call Subsumption", in "11th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)" Salvador Abreu and Vítor Santos Costa (eds) , pp.19–33, July 2011.  Download: 
2010
Flávio Cruz and Ricardo Rocha "Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs", in "4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010)" L. S. Barbosa and M. P. Correia (eds) , pp.201–204, September 2010.
Flávio Cruz and Ricardo Rocha "Retroactive Subsumption-Based Tabled Evaluation of Logic Programs", in "12th European Conference on Logics in Artificial Intelligence (JELIA 2010)" Tomi Janhunen and Ilkka Niemelä (eds) , Springer - LNCS, vol. 6341, pp.130–142, September 2010.