Pescara

Results: 198



#Item
31

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
    32

    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

      Add to Reading List

      Source URL: www.violenceintransit.org

      Language: Italian - Date: 2013-09-05 12:45:34
        34

        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
          35

          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
            36

            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
              37

              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
                38

                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
                  39

                  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
                    40

                    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
                      UPDATE