José F. Morales 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2023

Teaching Prolog with Active Logic DocumentsJosé F. Morales 0001, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 171-183, Springer, 2023. [doi]

Transforming Big-Step to Small-Step Semantics Using Interpreter SpecialisationJohn P. Gallagher, Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001. LOPSTR 2023: 28-38 [doi]

Types, Modes and so Much More - The Prolog WayManuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001, Manuel Carro. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 23-37, Springer, 2023. [doi]

Some Thoughts on How to Teach PrologManuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 107-123, Springer, 2023. [doi]

A Rule-Based Approach for Designing and Composing Abstract DomainsDaniel Jurjo, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. LOPSTR 2023: 80-98 [doi]

2022

2021

Incremental and Modular Context-sensitive AnalysisIsabel Garcia-Contreras, José F. Morales 0001, Manuel V. Hermenegildo. tplp, 21(2):196-243, 2021. [doi]

VeriFly: On-the-fly Assertion Checking via IncrementalityMiguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. tplp, 21(6):768-784, 2021. [doi]

Sign in or sign up to see more results.

runs on WebDSL