Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Publications

    Publications by Vítor Santos Costa

    2011

    Online Proceedings of the 11th

    Authors
    Abreu, Salvador; Costa, VitorSantos;

    Publication
    CoRR

    Abstract

    2010

    Portability of Prolog programs: Theory and case-studies

    Authors
    Wielemaker, J; Santos Costa, VS;

    Publication
    Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010

    Abstract
    (Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both systems rather than migrating an application. We show that today, the portability within the family of Edinburgh/Quintus derived Prolog implementations is good enough to allow for maintaining portable real-world applications.

    CloseRead Abstract

    2000

    PADL '00: Workshop on Practical Aspects of Declarative Languages

    Authors
    Pontelli, E; Costa, VS;

    Publication
    SIGPLAN Notices

    Abstract

    1991

    Andorra I

    Authors
    Costa, VS; Warren, DHD; Yang, R;

    Publication
    ACM SIGPLAN Notices - SIGPLAN Not.

    Abstract

    1991

    Andorra I

    Authors
    Costa, VS; Warren, DHD; Yang, R;

    Publication
    Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming - PPOPP '91

    Abstract

    2007

    Prolog performance on larger datasets

    Authors
    Costa, VS;

    Publication
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES

    Abstract
    Declarative systems, such as logic programming, should be ideal to process large data sets efficiently. Unfortunately, the high-level nature of logic-based representations can cause inefficiencies, and may lead in some cases to unacceptable performance. We discuss how logic programming systems can accommodate large amounts of data in main memory. We use a number of real datasets to evaluate performance and discuss how a number of techniques can be used to improve memory scalabality for such datasets.

    CloseRead Abstract
    • 12
    • 35