Agustín Cernuda del Río

According to our database, Agustín Cernuda del Río authored at least 9 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

A monadic program slicer.

Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río

ACM SIGPLAN Notices, 2006

2004

How <i>not</i> to go about a programming assignment.

Agustín Cernuda del Río

ACM SIGCSE Bull., 2004

Coverage Model in Wireless Networks based on Progressive Refinement Radiosity.

Néstor García-Fernández, Juan Manuel Cueva Lovelle, Daniel Gayo-Avello, Agustín Cernuda del Río, Juan R. García

Proceedings of the International Conference on Artificial Intelligence, 2004

2003

The Cooperative Web: A Step towards Web Intelligence.

Daniel Gayo-Avello, Darío Álvarez Gutiérrez, Agustín Cernuda del Río, José Gayo-Avello, Luis Vinuesa-Martínez, Néstor García-Fernández

Proceedings of the Web Engineering, International Conference, 2003

2001

Modular Development of Interpreters from Semantic Building Blocks.

José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río

Nord. J. Comput., 2001

Specification of Logic Programming Languages from Reusable Semantic Building Blocks.

José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

LPS: A Language Prototyping System Using Modular Monadic Semantics.

José Emilio Labra Gayo, María Cándida Luengo Díez, Juan Manuel Cueva Lovelle, Agustín Cernuda del Río

Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

Verifying Reuse Contracts with a Component Model.

Agustín Cernuda del Río, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Reusable monadic semantics of logic programs with arithmetic predicates.

José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001