Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Environment-aware Computations via Program Updates
November 2001
ablp:lopstr01
-
In proceedings
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
A. Pettorossi
Pre-Procs. of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01)
-
-
Paphos, Cyprus
-
112-123
-
-
-
-
Export formats
José Júlio Alferes and Antonio Brogi and João Alexandre Leite and Luís Moniz Pereira, Environment-aware Computations via Program Updates, in: A. Pettorossi (eds), Pre-Procs. of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01), Paphos, Cyprus, Pag. 112-123, November 2001.
<a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, Antonio Brogi, <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Environment-aware Computations via Program Updates</b>, in: A. Pettorossi (eds), <u>Pre-Procs. of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01)</u>, Paphos, Cyprus, Pag. 112-123, November 2001.
@inproceedings {ablp:lopstr01, author = {Jos{\'e} J{\'u}lio Alferes and Antonio Brogi and Jo{\~a}o Alexandre Leite and Lu\'{\i}s Moniz Pereira}, editor = {A. Pettorossi}, title = {Environment-aware Computations via Program Updates}, booktitle = {Pre-Procs. of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01)}, address = {Paphos, Cyprus}, pages = {112-123}, month = {November}, year = {2001}, }
Publication's urls
/publications/view.php?code=a29d2bf8a94f32fa23f4643a803ed31e
/publications/view.php?code=ablp:lopstr01
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT