Pescara

Results: 198



#Item
31Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2013-07-17 03:26:19
    32Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy),

    Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy),

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2013-09-19 22:49:42
      33“VIOLENCE IN TRANSIT” (JUST/2010/DAP3/AGConferenza sui risultati del Progetto e presentazione del Report di Ricerca Nazionale 18 settembre 2013 Sala Tosti c/o Aurum di Pescara

      “VIOLENCE IN TRANSIT” (JUST/2010/DAP3/AGConferenza sui risultati del Progetto e presentazione del Report di Ricerca Nazionale 18 settembre 2013 Sala Tosti c/o Aurum di Pescara

      Add to Reading List

      Source URL: www.violenceintransit.org

      Language: Italian - Date: 2013-09-05 12:45:34
        34Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20

        Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2015-10-03 15:32:56
          35Proving Horn Clause Specifications of Imperative Programs Emanuele De Angelis Fabio Fioravanti DEC, University ‘G. d’Annunzio’, Pescara, Italy

          Proving Horn Clause Specifications of Imperative Programs Emanuele De Angelis Fabio Fioravanti DEC, University ‘G. d’Annunzio’, Pescara, Italy

          Add to Reading List

          Source URL: www.sci.unich.it

          Language: English - Date: 2015-08-07 07:18:51
            36Proving Horn Clause Specifications of Imperative Programs Emanuele De Angelis Fabio Fioravanti DEC, University ‘G. d’Annunzio’, Pescara, Italy

            Proving Horn Clause Specifications of Imperative Programs Emanuele De Angelis Fabio Fioravanti DEC, University ‘G. d’Annunzio’, Pescara, Italy

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2015-08-07 07:18:51
              37Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

              Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

              Add to Reading List

              Source URL: csp2011.mimuw.edu.pl

              Language: English - Date: 2011-09-01 11:05:10
                38Program Verification via Iterated SpecializationI E. De Angelisa,∗, F. Fioravantia,∗, A. Pettorossib,∗, M. Proiettic,∗ a DEC, b DICII, University ”G. d’Annunzio”, Viale Pindaro 42, 65127 Pescara, Italy

                Program Verification via Iterated SpecializationI E. De Angelisa,∗, F. Fioravantia,∗, A. Pettorossib,∗, M. Proiettic,∗ a DEC, b DICII, University ”G. d’Annunzio”, Viale Pindaro 42, 65127 Pescara, Italy

                Add to Reading List

                Source URL: www.sci.unich.it

                Language: English - Date: 2014-05-29 09:55:13
                  39Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

                  Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-07-17 03:26:19
                    40Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’

                    Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    Language: English - Date: 2012-10-22 15:02:02