IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2013 > The Picat Language and System
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Neng-Fa Zhou

lunes 17 de junio de 2013

4:00pm Meeting room 302 (Mountain View), level 3

Neng-Fa Zhou, Profesor, The City University of New York

The Picat Language and System

Abstract:

This talk will give the design principles of the Picat language, highlight the high-level and intuitive abstractions provided by Picat for easy programming, and contemplate why Picat is more robust and scalable than Prolog and could be more accessible than Prolog to ordinary programmers for scripting and modeling tasks.