EasyChair Smart SlideUser guide
Author: Jose F. Morales

This page shows all presentations of this author published in EasyChair Smart Slide.

An S(CASP) in-Browser Playground Based on Ciao Prolog

An S(CASP) in-Browser Playground Based on Ciao Prolog

Guillermo García Pradales, Jose F. Morales, Manuel V. Hermenegildo, Joaquín Arias and Manuel Carro

Towards Incremental and Modular Context-sensitive Analysis

Towards Incremental and Modular Context-sensitive Analysis

Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo

Towards Static Performance Guarantees for Programs with Run-time Checks

Towards Static Performance Guarantees for Programs with Run-time Checks

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, Jose F. Morales and Manuel V. Hermenegildo

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair