The following pages link to Francisco Bueno (Q980469):
Displaying 24 items.
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- (Q1380118) (redirect page) (← links)
- Partial order and contextual net semantics for atomic and locally atomic CC programs (Q1380121) (← links)
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) (Q2568449) (← links)
- (Q2723933) (← links)
- A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (Q2883083) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Interval-Based Resource Usage Verification: Formalization and Prototype (Q3167526) (← links)
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy (Q3507366) (← links)
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism (Q4245928) (← links)
- (Q4411953) (← links)
- (Q4421873) (← links)
- (Q4424850) (← links)
- (Q4537510) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- (Q4702568) (← links)
- (Q4736447) (← links)
- (Q4737145) (← links)
- (Q4813396) (← links)
- An algebraic approach to sharing analysis of logic programs (Q4939543) (← links)
- Functional and Logic Programming (Q5308016) (← links)
- Functional and Logic Programming (Q5308017) (← links)
- Determinacy Analysis for Logic Programs Using Mode and Type Information (Q5458791) (← links)
- Program Development in Computational Logic (Q5712549) (← links)
