F. Bueno

Available identifiers

zbMath Open bueno.franciscoMaRDI QIDQ980469

List of research outcomes

Publication	Date of Publication	Type
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption	2018-05-31	Paper
Interval-Based Resource Usage Verification: Formalization and Prototype	2012-11-02	Paper
An overview of Ciao and its design philosophy	2012-06-25	Paper
A framework for verification and debugging of resource usage properties: resource usage verification	2012-05-11	Paper
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses	2010-06-29	Paper
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy	2008-06-19	Paper
Determinacy Analysis for Logic Programs Using Mode and Type Information	2008-04-24	Paper
Functional and Logic Programming	2007-09-25	Paper
Functional and Logic Programming	2007-09-25	Paper
Program Development in Computational Logic	2005-12-23	Paper
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)	2005-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813396	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737145	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736447	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4424850	2003-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4421873	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411953	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4537510	2002-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4702568	2002-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2723933	2001-07-08	Paper
An algebraic approach to sharing analysis of logic programs	2000-02-06	Paper
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism	1999-07-20	Paper
Partial order and contextual net semantics for atomic and locally atomic CC programs	1998-02-25	Paper

Research outcomes over time

This page was built for person: F. Bueno