Author: "Hermenegildo, Manuel" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Hermenegildo, Manuel"' showing total 1,353 results

Start Over Author "Hermenegildo, Manuel"

1,353 results on '"Hermenegildo, Manuel"'

101. Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models

Author: Marron, Mark, Hermenegildo, Manuel, Kapur, Deepak, Stefanovic, Darko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Hendren, Laurie, editor
Published: 2008
Full Text: View/download PDF

102. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Author: Casas, Amadeo, Carro, Manuel, Hermenegildo, Manuel V., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and King, Andy, editor
Published: 2008
Full Text: View/download PDF

103. A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

Author: Méndez-Lojo, Mario, Navas, Jorge, Hermenegildo, Manuel V., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and King, Andy, editor
Published: 2008
Full Text: View/download PDF

104. Precise Set Sharing Analysis for Java-Style Programs

Author: Méndez-Lojo, Mario, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Logozzo, Francesco, editor, Peled, Doron A., editor, and Zuck, Lenore D., editor
Published: 2008
Full Text: View/download PDF

105. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism

Author: Casas, Amadeo, Carro, Manuel, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hudak, Paul, editor, and Warren, David S., editor
Published: 2008
Full Text: View/download PDF

106. An Improved Continuation Call-Based Implementation of Tabling

Author: Chico de Guzmán, Pablo, Carro, Manuel, Hermenegildo, Manuel V., Silva, Cláudio, Rocha, Ricardo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hudak, Paul, editor, and Warren, David S., editor
Published: 2008
Full Text: View/download PDF

107. Exploiting Term Hiding to Reduce Run-Time Checking Overhead

Author: Stulova, Nataliia, primary, Morales, José F., additional, and Hermenegildo, Manuel V., additional
Published: 2017
Full Text: View/download PDF

108. Automatic Binding-Related Error Diagnosis in Logic Programs

Author: Pietrzak, Paweł, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dahl, Véronica, editor, and Niemelä, Ilkka, editor
Published: 2007
Full Text: View/download PDF

109. User-Definable Resource Bounds Analysis for Logic Programs

Author: Navas, Jorge, Mera, Edison, López-García, Pedro, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dahl, Véronica, editor, and Niemelä, Ilkka, editor
Published: 2007
Full Text: View/download PDF

110. A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework

Author: Marron, Mark, Kapur, Deepak, Stefanovic, Darko, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Almási, George, editor, Caşcaval, Călin, editor, and Wu, Peng, editor
Published: 2007
Full Text: View/download PDF

111. Towards Description and Optimization of Abstract Machines in an Extension of Prolog

Author: Morales, José F., Carro, Manuel, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Puebla, Germán, editor
Published: 2007
Full Text: View/download PDF

112. Combining Static Analysis and Profiling for Estimating Execution Times

Author: Mera, Edison, López-García, Pedro, Puebla, Germán, Carro, Manuel, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Hanus, Michael, editor
Published: 2007
Full Text: View/download PDF

113. Context-Sensitive Multivariant Assertion Checking in Modular Programs

Author: Pietrzak, Paweł, Correas, Jesús, Puebla, Germán, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hermann, Miki, editor, and Voronkov, Andrei, editor
Published: 2006
Full Text: View/download PDF

114. Abstract Interpretation with Specialized Definitions

Author: Puebla, Germán, Albert, Elvira, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Yi, Kwangkeun, editor
Published: 2006
Full Text: View/download PDF

115. Reduced Certificates for Abstraction-Carrying Code

Author: Albert, Elvira, Arenas, Puri, Puebla, Germán, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etalle, Sandro, editor, and Truszczyński, Mirosław, editor
Published: 2006
Full Text: View/download PDF

116. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems

Author: Casas, Amadeo, Cabeza, Daniel, Hermenegildo, Manuel V., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hagiya, Masami, editor, and Wadler, Philip, editor
Published: 2006
Full Text: View/download PDF

117. Experiments in Context-Sensitive Analysis of Modular Programs

Author: Correas, Jesús, Puebla, Germán, Hermenegildo, Manuel V., Bueno, Francisco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Hill, Patricia M., editor
Published: 2006
Full Text: View/download PDF

118. Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs

Author: Ochoa, Claudio, Puebla, Germán, Hermenegildo, Manuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Hill, Patricia M., editor
Published: 2006
Full Text: View/download PDF

119. Efficient Top-Down Set-Sharing Analysis Using Cliques

Author: Navas, Jorge, Bueno, Francisco, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Van Hentenryck, Pascal, editor
Published: 2006
Full Text: View/download PDF

120. Abstraction-Carrying Code

Author: Albert, Elvira, Puebla, Germán, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baader, Franz, editor, and Voronkov, Andrei, editor
Published: 2005
Full Text: View/download PDF

121. A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization

Author: Morales, José F., Carro, Manuel, Puebla, Germán, Hermenegildo, Manuel V., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gabbrielli, Maurizio, editor, and Gupta, Gopal, editor
Published: 2005
Full Text: View/download PDF

122. Efficient Local Unfolding with Ancestor Stacks for Full Prolog

Author: Puebla, Germán, Albert, Elvira, Hermenegildo, Manuel, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Etalle, Sandro, editor
Published: 2005
Full Text: View/download PDF

123. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

Author: Cabeza, Daniel, Hermenegildo, Manuel, Lipton, James, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor
Published: 2005
Full Text: View/download PDF

124. A Generic Framework for Context-Sensitive Analysis of Modular Programs

Author: Puebla, Germán, Correas, Jesús, Hermenegildo, Manuel V., Bueno, Francisco, de la Banda, María García, Marriott, Kim, Stuckey, Peter J., Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bruynooghe, Maurice, editor, and Lau, Kung-Kiu, editor
Published: 2004
Full Text: View/download PDF

125. Improved Compilation of Prolog to C Using Moded Types and Determinism Information

Author: Morales, J., Carro, Manuel, Hermenegildo, Manuel, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Jayaraman, Bharat, editor
Published: 2004
Full Text: View/download PDF

126. Multivariant Non-failure Analysis via Standard Abstract Interpretation

Author: Bueno, Francisco, López-García, Pedro, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Kameyama, Yukiyoshi, editor, and Stuckey, Peter J., editor
Published: 2004
Full Text: View/download PDF

127. Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)

Author: Hermenegildo, Manuel V., Puebla, Germán, Bueno, Francisco, López-García, Pedro, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Cousot, Radhia, editor
Published: 2003
Full Text: View/download PDF

128. Abstract Verification and Debugging of Constraint Logic Programs

Author: Hermenegildo, Manuel, Puebla, Germán, Bueno, Francisco, López-García, Pedro, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime. G., editor, Siekmann, Jörg., editor, and O’Sullivan, Barry, editor
Published: 2003
Full Text: View/download PDF

129. Efficient Negation Using Abstract Interpretation

Author: Muñoz, Susana, Moreno, Juan José, Hermenegildo, Manuel, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Nieuwenhuis, Robert, editor, and Voronkov, Andrei, editor
Published: 2001
Full Text: View/download PDF

130. A Model for Inter-module Analysis and Optimizing Compilation

Author: Bueno, Francisco, Hermenegildo, Manuel, Puebla, Germán, de la Banda, María García, Marriott, Kim, Stuckey, Peter J., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Lau, Kung-Kiu
Published: 2001
Full Text: View/download PDF

131. Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

Author: Puebla, Germán, Bueno, Francisco, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Bossi, Annalisa, editor
Published: 2000
Full Text: View/download PDF

132. A Documentation Generator for (C)LP Systems

Author: Hermenegildo, Manuel, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Lloyd, John, editor, Dahl, Veronica, editor, Furbach, Ulrich, editor, Kerber, Manfred, editor, Lau, Kung-Kiu, editor, Palamidessi, Catuscia, editor, Pereira, Luís Moniz, editor, Sagiv, Yehoshua, editor, and Stuckey, Peter J., editor
Published: 2000
Full Text: View/download PDF

133. A New Module System for Prolog

Author: Cabeza, Daniel, Hermenegildo, Manuel, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Lloyd, John, editor, Dahl, Veronica, editor, Furbach, Ulrich, editor, Kerber, Manfred, editor, Lau, Kung-Kiu, editor, Palamidessi, Catuscia, editor, Pereira, Luís Moniz, editor, Sagiv, Yehoshua, editor, and Stuckey, Peter J., editor
Published: 2000
Full Text: View/download PDF

134. Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions

Author: Carreras, Carlos, Hermenegildo, Manuel V., Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Choueiry, Berthe Y., editor, and Walsh, Toby, editor
Published: 2000
Full Text: View/download PDF

135. Proceedings 38th International Conference on Logic Programming

Author: Hermenegildo, Manuel V., primary
Published: 2022
Full Text: View/download PDF

136. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging

Author: Hermenegildo, Manuel, Puebla, Germán, Bueno, Francisco, Amarel, S., editor, Biermann, A., editor, Bolc, L., editor, Hayes, P., editor, Joshi, A., editor, Lenat, D., editor, Loveland, D. W., editor, Mackworth, A., editor, Nau, D., editor, Reiter, R., editor, Sandewall, E., editor, Shafer, S., editor, Shoham, Y., editor, Siekmann, J., editor, Wahlster, W., editor, Apt, Krzysztof R., editor, Marek, Victor W., editor, Truszczynski, Mirek, editor, and Warren, David S., editor
Published: 1999
Full Text: View/download PDF

137. Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming

Author: Hermenegildo, Manuel, Lengauer, Christian, editor, Griebl, Martin, editor, and Gorlatch, Sergei, editor
Published: 1997
Full Text: View/download PDF

138. Workshop 19: Symbolic computation

Author: Hermenegildo, Manuel, Lengauer, Christian, editor, Griebl, Martin, editor, and Gorlatch, Sergei, editor
Published: 1997
Full Text: View/download PDF

139. Abstract specialization and its application to program parallelization

Author: Puebla, Germán, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Gallagher, John, editor
Published: 1997
Full Text: View/download PDF

140. Parallel logic programming: a sequel

Author: Dovier, Agostino, Formisano, Andrea, Gupta, Gopal, Hermenegildo, Manuel V., Pontelli, Enrico, Rocha, Ricardo, Dovier, Agostino, Formisano, Andrea, Gupta, Gopal, Hermenegildo, Manuel V., Pontelli, Enrico, and Rocha, Ricardo
Abstract: Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism. The comprehensive survey of the first twenty years of research in parallel logic programming, published in 2001, has served since as a fundamental reference to researchers and developers. The contents are quite valid today, but at the same time the field has continued evolving at a fast pace in the years that have followed. Many of these achievements and ongoing research have been driven by the rapid pace of technological innovation, that has led to advances such as very large clusters, the wide diffusion of multi-core processors, the game-changing role of general-purpose graphic processing units, and the ubiquitous adoption of cloud computing. This has been paralleled by significant advances within logic programming, such as tabling, more powerful static analysis and verification, the rapid growth of Answer Set Programming, and in general, more mature implementations and systems. This survey provides a review of the research in parallel logic programming covering the period since 2001, thus providing a natural continuation of the previous survey. In order to keep the survey self-contained, it restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set Programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages. The goal of the survey is to serve not only as a reference for researchers and developers of logic programming systems but also as engaging reading for anyone interested in logic and as a useful source for researchers in parallel systems outside logic programming.
Published: 2022

141. Optimized algorithms for incremental analysis of logic programs

Author: Puebla, Germán, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Cousot, Radhia, editor, and Schmidt, David A., editor
Published: 1996
Full Text: View/download PDF

142. Independence in dynamically scheduled logic languages

Author: de la Banda, María García, Hermenegildo, Manuel, Marriott, Kim, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Hanus, Michael, editor, and Rodríguez-Artalejo, Mario, editor
Published: 1996
Full Text: View/download PDF

143. Towards independent and-parallelism in CLP

Author: García de la Banda, María, Bueno, Francisco, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Kuchen, Herbert, editor, and Doaitse Swierstra, S., editor
Published: 1996
Full Text: View/download PDF

144. Flexible scheduling for non-deterministic, and-parallel execution of logic programs

Author: Shen, Kish, Hermenegildo, Manuel V., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Bougé, Luc, editor, Fraigniaud, Pierre, editor, Mignotte, Anne, editor, and Robert, Yves, editor
Published: 1996
Full Text: View/download PDF

145. Relating data-parallelism and (and-) parallelism in logic programs

Author: Hermenegildo, Manuel V., Carro, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Haridi, Seif, editor, Ali, Khayri, editor, and Magnusson, Peter, editor
Published: 1995
Full Text: View/download PDF

146. Fifty Years of Prolog and Beyond

Author: KÖRNER, PHILIPP, primary, LEUSCHEL, MICHAEL, additional, BARBOSA, JOÃO, additional, COSTA, VÍTOR SANTOS, additional, DAHL, VERÓNICA, additional, HERMENEGILDO, MANUEL V., additional, MORALES, JOSE F., additional, WIELEMAKER, JAN, additional, DIAZ, DANIEL, additional, ABREU, SALVADOR, additional, and CIATTO, GIOVANNI, additional
Published: 2022
Full Text: View/download PDF

147. Parallel Logic Programming: A Sequel

Author: DOVIER, AGOSTINO, primary, FORMISANO, ANDREA, additional, GUPTA, GOPAL, additional, HERMENEGILDO, MANUEL V., additional, PONTELLI, ENRICO, additional, and ROCHA, RICARDO, additional
Published: 2022
Full Text: View/download PDF

148. Extracting Non-strict independent and-parallelism using sharing and freeness information

Author: Gras, Daniel Cabeza, Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Le Charlier, Baudouin, editor
Published: 1994
Full Text: View/download PDF

149. Analytic model of a Cache Only Memory Architecture

Author: Carreras, Carlos, López, Carlos A., Hermenegildo, Manuel, Goos, Gerhard, editor, Hartmanis, Juris, editor, Halatsis, Costas, editor, Maritsas, Dimitrios, editor, Philokyprou, George, editor, and Theodoridis, Sergios, editor
Published: 1994
Full Text: View/download PDF

150. Divided We Stand: Parallel Distributed Stack Memory Management

Author: Shen, Kish, Hermenegildo, Manuel, Tick, Evan, editor, and Succi, Giancarlo, editor
Published: 1994
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

1,353 results on '"Hermenegildo, Manuel"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources