Вы здесь

Главная

Hermenegildo M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction 2005 Cabeza D., Hermenegildo M., Lipton J. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ Improved Compilation of Prolog to C Using Moded Types and Determinism Information 2004 Morales J., Carro M., Hermenegildo M. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) 2004 Correas J., Gomez J. M., Carro M., Cabeza D., Hermenegildo M. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Multivariant Non-failure Analysis via Standard Abstract Interpretation 2004 Bueno F., Lopez-Garcia P., Hermenegildo M. Lecture Notes in Computer Science 07.05.2004
СТ Program Debugging and Validation Using Semantic Approximations and Partial Specifications 2002 Hermenegildo M., Puebla G., Bueno F., Lopez-Garcia P. Lecture Notes in Computer Science 03.08.2002
СТ A Model for Inter-module Analysis and Optimizing Compilation 2001 Bueno F., De La Banda M. G., Hermenegildo M., Marriott K., Puebla G., Stuckey P. J. Lecture Notes in Computer Science 23.06.2001
СТ Concurrency in Prolog Using Threads and a Shared Database 1999 Carro M., Hermenegildo M. Logic Programming 07.03.2001
СТ An Assertion Language for Constraint Logic Programs 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ A Generic Preprocessor for Program Validation and Debugging 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ Tools for Search-Tree Visualization: The APT Tool 2000 Carro M., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ Tools for Constraint Visualization: The VIFID/TRIFID Tool 2000 Carro M., Hermenegildo M. Lecture Notes in Computer Science 16.11.2000
СТ Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs 2000 Puebla G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming 1999 Bueno F., De La Banda M. G., Hermenegildo M. ACM Trans. on Programming Languages and Systems 23.12.1999
СТ Abstract Interpretation anf Its Applications 1990 Hermenegildo M. Advanced School on Fundamentations of LP 01.10.1999
СТ Noon-Failure Analysis for Logic Programs 1997 Debray S., Lopez-Garcia P., Hermenegildo M. Logic Programming 11.03.1998
СТ Lower Bound Cost Estimation for Logic Programs 1997 Debray S., Lopez-Garcia P., Hermenegildo M., Lin N. -W. Logic Programming 05.03.1998
СТ Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming 1997 Hermenegildo M. Lecture Notes in Computer Science 24.10.1997
СТ Implementation of Multiple Specialization in Logic Programs 1995 Puebla G., Hermenegildo M. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ Abstract Specialization and Its Application to Program Parallelization 1997 Puebla G., Hermenegildo M. Lecture Notes in Computer Science 12.04.1997
СТ Towards Independent And-Parallelism in CLP 1996 De La Banda M. G., Bueno F., Hermenegildo M. Lecture Notes in Computer Science 20.11.1996
СТ Independence in Dynamically Scheduled Logic Languages 1996 De La Banda M. G., Hermenegildo M., Marriott K. Lecture Notes in Computer Science Algebraic and Logic Programming 05.11.1996
СТ Global Analysis of Standard Prolog Programs 1996 Bueno F., Cabeza D., Hermenegildo M., Puebla G. Lecture Notes in Computer Science 18.05.1996
СТ Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems 1995 Hermenegildo M., Cabeza D., Carro M. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Efficient Term Size Computation for Granularity Control 1995 Hermenegildo M., Lopez-Carcia P. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Incremental Analysis of Logic Programs 1995 Hermenegildo M., Puebla G., Marriott K., Stuckey P. J. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ ACE: And/Or-parallel Copying-based Execution of Logic Program 1994 Gupta G., Hermenegildo M., Pontelli E., Costa V. S. Logic Programming: Proc. of the Eleventh Intern. Conf. 31.01.1996
СТ Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization 1994 Bueno F., De La Banda M. G., Hermenegildo M. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996
СТ Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System 1994 Hermenegildo M. Lecture Notes in Computer Science 22.12.1994
СТ Towards a Concurrent Semantics Based Analysis of CC and CLP 1994 Montanari U., Rossi F., Bueno F., De La Banda M. G., Hermenegildo M. Lecture Notes in Computer Science 22.12.1994
СТ Estimating the Computational Cost of Logic Programs 1994 Debray S. K., Garcia P. L., Hermenegildo M., Lin N. -W. Lecture Notes in Computer Science 24.11.1994
СТ Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information 1994 Gras D. C., Hermenegildo M. Lecture Notes in Computer Science 24.11.1994
СТ From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics 1994 Bueno F., Hermenegildo M., Montanari U., Rossi F. Lecture Notes in Computer Science 01.11.1994
СТ On the Practicality of Global Flow Analysis of Logic Programs 1988 Warren R., Hermenegildo M. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ A Practical Approach to the Global Analysis of CLP Programs 1993 Garcia De La Banda M., Hermenegildo M. Logic Programming: Proc./1993 Intern. Symp. 21.09.1994
СТ Independence in Constraint Logic Programms 1993 Garcia De La Banda M., Hermenegildo M., Marriott K. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation 1991 Muthukumar K., Hermenegildo M. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Analytic Model of a Cache Only Memory Architecture 1994 Carreras C., Lopez C. A., Hermenegildo M. Lecture Notes in Computer Science 25.08.1994
СТ A Practical Application of Sharing and Freeness Inference 1992 De La Banda M.J. G., Hermenegildo M. BIGRE 05.11.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010 2010 Lecture Notes in Computer Science
  1. Barthe G.
  2. Hermenegildo M.
 20.03.2010
СБ Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008 2008 Lecture Notes in Computer Science
  1. Garrigue J.
  2. Hermenegildo M.
 07.06.2008
СБ Practical Aspects of Declarative Languages: Proc./7th International Symposium, PADL 2005. Long Beach, CA, USA, January 2005 2005 Lecture Notes in Computer Science
  1. Hermenegildo M.
  2. Cabeza D.
 26.02.2005
СБ Programming Languages: Implementations, Logics and Programs: Proc./7th International Symposium, PLILP 95. Utrecht, The Netherlands, September 1995 1995 Lecture Notes in Computer Science
  1. Hermenegildo M.
  2. Swierstra S. D.
 15.11.1995
СБ Logic Programming: Proc./1990 North American Conf. 1990
  1. Debray S.
  2. Hermenegildo M.
 24.11.1994
СБ Programming Language Implementation and Logic Programming: Proc./6th Intern. Symp., PLILP 94. Madrid, Spain, September 1994 1994 Lecture Notes in Computer Science
  1. Hermenegildo M.
  2. Penjam J.
 11.10.1994