Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Manuel V. Hermenegildo

Comparing tag scheme variations using an abstract machine generator

scientific article published on 22 July 2008

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

scientific article published in 2023

ENTRA: Whole-systems energy transparency

scientific article published in November 2016

Improving the efficiency of nondeterministic independent and-parallel systems ⬇️

scholarly article

Parallel execution of prolog programs: a survey

article published in 2001

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming ⬇️

scholarly article

The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library

scientific article published in 2000

Towards a high-level implementation of flexible parallelism primitives for symbolic languages

scientific article published on 01 November 2010

Paulina is supported by:

About Paulina

Help