Publikationen, an denen er mitarbeitet Manuel Carro Liñares (7)

2023

  1. Types, Modes and so Much More – The Prolog Way

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 23-37

2012

  1. An overview of Ciao and its design philosophy

    Theory and Practice of Logic Programming, Vol. 12, Núm. 1-2, pp. 219-252

2008

  1. An overview of the Ciao multiparadigm language and program development environment and its design philosophy

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Towards execution time estimation in abstract machine-based languages

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2007

  1. Combining static analysis and profiling for estimating execution times

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Towards execution time estimation for logic programs via static analysis and profiling

    Proceedings of the 16th Workshop on Logic-based methods in Programming Environments, WLPE 2006

  2. Using combined static analysis and profiling for logic program execution time estimation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)