×

zbMATH — the first resource for mathematics

Bueno, Francisco

Compute Distance To:
Author ID: bueno.francisco Recent zbMATH articles by "Bueno, Francisco"
Published as: Bueno, Francisco; Bueno, F.
Documents Indexed: 23 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 96 times in 62 Documents Cited by Year
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Zbl 1076.68540
Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro
23
2005
An overview of Ciao and its design philosophy. Zbl 1244.68019
Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G.
22
2012
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism. Zbl 0927.68018
Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.
9
1999
Combined static and dynamic assertion-based debugging of constraint logic programs. Zbl 0964.68016
Puebla, Germán; Bueno, Francisco; Hermenegildo, Manuel
8
2000
More precise yet efficient type inference for logic programs. Zbl 1015.68033
Vaucheret, Claudio; Bueno, Francisco
7
2002
An algebraic approach to sharing analysis of logic programs. Zbl 0944.68029
Codish, Michael; Lagoon, Vitaly; Bueno, Francisco
5
2000
Determinacy analysis for logic programs using mode and type information. Zbl 1134.68334
López-García, P.; Bueno, F.; Hermenegildo, M.
5
2005
Partial order and contextual net semantics for atomic and locally atomic CC programs. Zbl 0891.68057
Bueno, F.; Hermenegildo, M.; Montanari, U.; Rossi, F.
4
1998
Program development using abstract interpretation (and the Ciao system preprocessor). Zbl 1067.68544
Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro
3
2003
Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. Zbl 0979.68554
Hermenegildo, Manuel; Puebla, Germán; Bueno, Francisco
3
1999
Abstract verification and debugging of constraint logic programs. Zbl 1023.68513
Hermenegildo, Manuel; Puebla, Germán; Bueno, Francisco; López-García, Pedro
1
2003
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J.
1
2004
Program debugging and validation using semantic approximations and partial specifications. Zbl 1056.68509
Hermenegildo, M.; Puebla, G.; Bueno, F.; López-García, P.
1
2002
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
1
2010
Multivariant non-failure analysis via standard abstract interpretation. Zbl 1122.68365
Bueno, Francisco; López-García, Pedro; Hermenegildo, Manuel
1
2004
Set-sharing is not always redundant for pair-sharing. Zbl 1122.68364
Bueno, Francisco; Garcia de la Banda, Maria
1
2004
An overview of the Ciao multiparadigm language and program development environment and its design philosophy. Zbl 1143.68379
Hermenegildo, Manuel V.; Bueno, Francisco; Carro, Manuel; López, Pedro; Morales, José F.; Puebla, German
1
2008
An overview of Ciao and its design philosophy. Zbl 1244.68019
Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G.
22
2012
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
1
2010
An overview of the Ciao multiparadigm language and program development environment and its design philosophy. Zbl 1143.68379
Hermenegildo, Manuel V.; Bueno, Francisco; Carro, Manuel; López, Pedro; Morales, José F.; Puebla, German
1
2008
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Zbl 1076.68540
Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro
23
2005
Determinacy analysis for logic programs using mode and type information. Zbl 1134.68334
López-García, P.; Bueno, F.; Hermenegildo, M.
5
2005
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J.
1
2004
Multivariant non-failure analysis via standard abstract interpretation. Zbl 1122.68365
Bueno, Francisco; López-García, Pedro; Hermenegildo, Manuel
1
2004
Set-sharing is not always redundant for pair-sharing. Zbl 1122.68364
Bueno, Francisco; Garcia de la Banda, Maria
1
2004
Program development using abstract interpretation (and the Ciao system preprocessor). Zbl 1067.68544
Hermenegildo, Manuel V.; Puebla, Germán; Bueno, Francisco; López-García, Pedro
3
2003
Abstract verification and debugging of constraint logic programs. Zbl 1023.68513
Hermenegildo, Manuel; Puebla, Germán; Bueno, Francisco; López-García, Pedro
1
2003
More precise yet efficient type inference for logic programs. Zbl 1015.68033
Vaucheret, Claudio; Bueno, Francisco
7
2002
Program debugging and validation using semantic approximations and partial specifications. Zbl 1056.68509
Hermenegildo, M.; Puebla, G.; Bueno, F.; López-García, P.
1
2002
Combined static and dynamic assertion-based debugging of constraint logic programs. Zbl 0964.68016
Puebla, Germán; Bueno, Francisco; Hermenegildo, Manuel
8
2000
An algebraic approach to sharing analysis of logic programs. Zbl 0944.68029
Codish, Michael; Lagoon, Vitaly; Bueno, Francisco
5
2000
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism. Zbl 0927.68018
Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.
9
1999
Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. Zbl 0979.68554
Hermenegildo, Manuel; Puebla, Germán; Bueno, Francisco
3
1999
Partial order and contextual net semantics for atomic and locally atomic CC programs. Zbl 0891.68057
Bueno, F.; Hermenegildo, M.; Montanari, U.; Rossi, F.
4
1998
all top 5

Cited by 109 Authors

22 Hermenegildo, Manuel V.
9 Carro, Manuel
6 López-García, Pedro
6 Puebla, Germán
5 Morales, Jose Francisco
4 Albert, Elvira
4 Gallagher, John P.
3 Arenas, Puri
3 Bueno, Francisco
3 Casas, Amadeo
3 Klemen, M.
3 Liqat, Umer
3 Navas, Jorge A.
2 Amato, Gianluca
2 Arias, Joaquin
2 Baldan, Paolo
2 Desouter, Benoit
2 Gange, Graeme
2 Genaim, Samir
2 Gori, Roberta
2 Gupta, Gopal K.
2 Haemmerlé, Rémy
2 Kafle, Bishoksan
2 Levi, Giorgio
2 Schachte, Peter
2 Schrijvers, Tom
2 Scozzari, Francesca
2 Søndergaard, Harald
2 Stuckey, Peter James
2 Vidal, Germán
1 Ackley, Elena S.
1 Alonso, César Luis
1 Alpuente, María
1 Bagnara, Roberto
1 Ballis, Demis
1 Benton, Nick
1 Bjørner, Nikolaj S.
1 Busi, Nadia
1 Cabeza, Daniel
1 Cagnoli, Paolo
1 Chico de Guzm’an, Pablo
1 Chothia, Tom
1 Christiansen, Henning
1 Codish, Michael
1 Comini, Marco
1 Corradini, Andrea
1 Darmawan, Luthfi
1 del Vado Vírseda, Rafael
1 Demoen, Bart
1 Duggan, Dominic
1 Fiorentini, Camillo
1 Forrest, Stephanie
1 Ganty, Pierre
1 García-Contreras, Isabel
1 Gavanelli, Marco
1 Gras, Daniel Cabeza
1 Gurfinkel, Arie
1 Hill, Patricia M.
1 Hofmann, Martin
1 Ivanović, Dragan
1 Jackson, Ethan K.
1 Kennedy, Andrew J.
1 Kifer, Michael
1 Lagoon, Vitaly
1 Liang, Senlin
1 Lipton, James B.
1 Lu, Lunjin
1 Marple, Kyle
1 McMillan, Kenneth L.
1 Méndez-Lojo, Mario
1 Mera, Edison
1 Mesnard, Fred
1 Milano, Michela
1 Momigliano, Alberto
1 Nieva, Susana
1 Nigam, Vivek
1 Olarte, Carlos
1 Ornaghi, Mario
1 Payet, Étienne
1 Pettorossi, Alberto
1 Pinna, G. Michele
1 Pontelli, Enrico
1 Proietti, Maurizio
1 Puente, Jorge
1 Renault, Sophie
1 Riesco, Adrián
1 Riguzzi, Fabrizio
1 Rodríguez-Hortalá, Juan
1 Rueda, Camilo
1 Rybalchenko, Andrey
1 Salazar, Elmer
1 Sapiña, Julia
1 Schulze Frielinghaus, Stefan
1 Seidl, Helmut
1 Spoto, Fausto
1 Stulova, Nataliia
1 Swift, Terrance
1 Taylor, Hamish
1 Trias, Eric
1 Triska, Markus
...and 9 more Authors

Citations by Year