The Transformational Approach to Program Development (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• The Transformational Approach to Program Development (Articolo in rivista) (literal)

Anno

• 2010-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-14309-0_6 (literal)

Alternative label

• Pettorossi, A.; Proietti, M.; Senni, V. (2010)
  The Transformational Approach to Program Development
  in Lecture notes in computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Pettorossi, A.; Proietti, M.; Senni, V. (literal)

Pagina inizio

• 112 (literal)

Pagina fine

• 135 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.springerlink.com/content/0m34646xr5186828/ (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 6125 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• A 25 year Perspective on Logic Programming Eds.: A. Dovier and E. Pontelli (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Pettorossi, A. DISP, Università Tor Vergata, Roma (literal)

Titolo

• The Transformational Approach to Program Development (literal)

Abstract

• We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the approach based on rules and strategies. First, we present the transformation rules and we address the issue of their correctness. Then, we present the transformation strategies and, through some examples, we illustrate their use for improving program efficiency via the elimination of unnecessary variables, the reduction of nondeterminism, and the use of program specialization. We also describe the use of the transformation methodology for the synthesis of logic programs from first-order specifications. Finally, we illustrate some transformational techniques for verifying first-order properties of logic programs and their application to model checking for finite and infinite state concurrent systems. (literal)

Prodotto di

• Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001) (Modulo)
• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)

Autore CNR

• MAURIZIO PROIETTI (Persona)
• Alberto Pettorossi (Persona)

Incoming links:

Autore CNR di

• MAURIZIO PROIETTI (Persona)
• Alberto Pettorossi (Persona)

Prodotto

• Istituto di analisi dei sistemi ed informatica \"Antonio Ruberti\" (IASI) (Istituto)
• Metodi e Sistemi per l' Informazione e la Conoscenza (ICT.P08.001.001) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)