English
español
Navegación por Autor Morales, José F.
Mostrando resultados 1 a 4 de 4
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
closedAccess | 2023 | A Rule-Based Approach for Designing and Composing Abstract Domains | Jurjo, Daniel; Morales, José F.; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V. | capítulo de libro | |
closedAccess | 2023 | Some Thoughts on How to Teach Prolog | Hermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro | capítulo de libro | |
closedAccess | 2023 | Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation | Gallagher, John P.; Hermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro | capítulo de libro | |
closedAccess | 2023 | Types, Modes and so Much More - The Prolog Way | Hermenegildo, Manuel V.; Morales, José F.; Lopez-Garcia, Pedro ; Carro, Manuel | capítulo de libro |