Person:980469

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
https://portal.mardi4nfdi.de/entity/Q2883083	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francisco Bueno