[cs at parma seminars] Due seminari di Informatica

[Roberto Bagnara]

		     DUE SEMINARI DI INFORMATICA

Il Dr. Manuel Carro Liñares ed il Prof. Germán Puebla Sánchez
dell'Università Politecnica di Madrid terranno due seminari di
informatica, rispettivamente mercoledì 27 febbraio 2002 alle ore 11:30
e giovedì 28 febbraio 2002 alle ore 15:00, presso il Dipartimento di
Matematica dell'Università di Parma.

I dettagli sono reperibili qui sotto e disponibili all'URI
http://www.cs.unipr.it/Seminars/
Per ulteriori informazioni: Roberto Bagnara (bagnara at cs.unipr.it).

===========================================================================

Titolo:   The Ciao Logic Programming Environment

Relatore: Dr. Manuel Carro Liñares,
           Department of Programming Languages and Systems,
           School of Computer Science and CLIP Lab,
           Department of Artificial Intelligence,
           Technical University of Madrid.

Data:     Mercoledì 27 febbraio 2002
Ora:      11:30
Luogo:    Sala Riunioni, Dipartimento di Matematica, Università di Parma,
           Via D'Azeglio, 85/A, I-43100 Parma

Abstract:
     We present a tutorial overview of Ciao, a next generation logic
programming environment which is unique in several ways: Ciao is a
complete (ISO-)Prolog system, but its novel modular design allows both
restricting and extending the language. This makes it possible to work
with fully declarative subsets of Prolog and also with syntactic and
semantic extensions which can be activated separately on each program
module. Its design also facilitates global program analysis, static
debugging, and optimization. We review some of Ciao's extensions:
assertions, functions, records, higher-order, constraints, objects,
persistence, alternative control rules, concurrency (threads/engines),
distributed execution (agents), parallel execution, etc. We also
review the use of the compiler and overall environment while
programming both in the large and in the small: modular program
development, separate/incremental compilation, documenting programs
with assertions, static/dynamic debugging, external interfaces,
producing small executables, linking regimes, scripts, etc.

     A large number of people have contributed to the development of
Ciao, including F. Bueno, D. Cabeza, M. Carro, M. Garcia de la Banda,
M. Hermenegildo, P. Lopez, and G. Puebla.

===========================================================================

Titolo:   CiaoPP: A Tool for Debugging and Optimization
           Based on Global Analysis

Relatore: Prof. Germán Puebla Sánchez,
           Department of Programming Languages and Systems,
           School of Computer Science and CLIP Lab,
           Department of Artificial Intelligence,
           Technical University of Madrid.

Data:     Giovedì 28 febbraio 2002
Ora:      15:00
Luogo:    Sala Riunioni, Dipartimento di Matematica, Università di Parma,
           Via D'Azeglio, 85/A, I-43100 Parma

Abstract:
     We present a tutorial overview of Ciaopp, the Ciao Prolog system
preprocessor. Ciaopp uses modular, incremental abstract interpretation
to infer complex properties of program predicates and literals. The
properties are expressed using an assertion language. The analyses
implemented include sharing/freeness, types, program complexity, and
non-failure. The properties inferred can be used for a variety of
purposes, including program optimization (e.g., specialization, dead
code removal), parallelization, debugging, and validation. Using such
analysis information, Ciaopp can find errors at compile-time in
programs and/or perform partial verification. The technique used is
based on a direct approach: properties inferred by analysis are
compared against specifications written using assertions.

===========================================================================

Informazioni sui seminari organizzati da cs at parma possono essere
reperite all'URI http://www.cs.unipr.it/Seminars/ .
È possibile ricevere regolarmente per email gli annunci di questi
seminari iscrivendosi alla mailing list seminars at cs.unipr.it.
Per iscriversi a questo servizio si può visitare la pagina
http://www.cs.unipr.it/mailman/listinfo/seminars .

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it