Program Slicing: differenze tra le versioni

Versione delle 17:12, 1 lug 2024

Versione delle 12:55, 21 lug 2024

Riga 51:

== Note ==

* [[Manutenzione (sviluppo software)|Manutenzione del software]]

* Analisi della dipendenza

* Raggiungere la definizione

* [[Dipendenza dai dati]]

* Frama-C uno strumento che implementa algoritmi di slicing su [[C (linguaggio di programmazione)|programmi C.]]

* Eliminazione parziale del codice morto

{{References}}

== Riferimenti Bibliografia==

* [[Mark Weiser|Marco Weiser]] . "SpeciaturaProgram del programmaslicing". AttiProceedings dellaof 5athe Conferenza5th InternazionaleInternational sull'IngegneriaConference delon Software Engineering, paginepages 439 &#x2013ndash; 449, [[IEEE Computer Society]] Press, marzoMarch 1981.

* [[Mark Weiser|Marco Weiser]] . "SpeciaturaProgram del programmaslicing". IEEE Transactions on Software Engineering, Volume 10, NumeroIssue 4, paginepages 352 &#x2013ndash; 357, [[IEEE Computer Society]] Press, luglioJuly 1984.

* [[Susan B. Horwitz|Susan Horwitz]], [[Thomas W. Reps|Thomas eReps]], and David Binkley, Affettamento interproceduraleInterprocedural medianteslicing graficiusing didependence dipendenzagraphs, ACM Transactions on Programming Languages and Systems, volumeVolume 12, numeroIssue 1, paginepages 26-60, gennaioJanuary 1990.

* Frank SuggerimentoTip. "Un'indagineA sullesurvey tecnicheof diprogram slicing dei programmitechniques". Journal of Programming Languages, Volume 3, NumeroIssue 3, paginepages 121–189, settembreSeptember 1995.

* David Binkley eand Keith Brian Gallagher. "SpeciaturaProgram del programmaslicing". AvanzamentiAdvances neiin computerComputers, volumeVolume 43, paginepages 1–50, [[Academic Press]], 1996.

* Andrea dide Lucia. "Program slicing: Methods and applicationapplications", International Workshop internazionaleon sull'analisiSource eCode laAnalysis manipolazione del codiceand sorgenteManipulation, paginepages 142-149, 2001, [[IEEE Computer Society]] Press.

* Mark Harman eand Robert Hierons. "UnaAn panoramicaoverview delof program slicing", Software Focus, volumeVolume 2, numeroIssue 3, paginepages 85–92, gennaioJanuary 2001.

* David Binkley eand Mark Harman. "Un'indagineA suisurvey risultatiof empiriciempirical sulresults on program slicing", Advances in Computers, volumeVolume 62, paginepages 105-178, [[Academic Press]], 2004.

* Jens Krinke. "Program Slicing", In Handbook of Software Engineering and Knowledge Engineering, Volume 3: Recent Advances. [[World Scientific Publishing]], 2005

* Silva, GiuseppeJosep. "UnA vocabolariovocabulary di tecniche basate sulof program slicing-based techniques", ACM Computing Surveys, volumeVolume 44, numeroIssue 3, [[Association for Computing Machinery]], giugnoJune 2012

* [http://www.users.miamioh.edu/alomarhw/ Alomari HW] et al. "srcSlice: affettamentovery staticoefficient inand avantiscalable moltoforward efficientestatic e scalabileslicing". [https://onlinelibrary.wiley.com/journal/20477481 Wiley Journal of Software: EvoluzioneEvolution eand processoProcess] ( '''JSEP''' ), DOI: 10.1002/smr.1651, volVol. 26, nNo. 11, pp. 931-961, 2014.

==Voci correlate==

* [[Mark Weiser|Marco Weiser]] . "Speciatura del programma". Atti della 5a Conferenza Internazionale sull'Ingegneria del Software, pagine 439 – 449, [[IEEE Computer Society]] Press, marzo 1981.

* [[Manutenzione (sviluppo software)|Manutenzione del software]]

* [[Mark Weiser|Marco Weiser]] . "Speciatura del programma". IEEE Transactions on Software Engineering, Volume 10, Numero 4, pagine 352 – 357, [[IEEE Computer Society]] Press, luglio 1984.

* [[Dipendenza dai dati]]

* Susan Horwitz, Thomas Reps e David Binkley, Affettamento interprocedurale mediante grafici di dipendenza, ACM Transactions on Programming Languages and Systems, volume 12, numero 1, pagine 26-60, gennaio 1990.

* Frank Suggerimento. "Un'indagine sulle tecniche di slicing dei programmi". Journal of Programming Languages, Volume 3, Numero 3, pagine 121–189, settembre 1995.

* David Binkley e Keith Brian Gallagher. "Speciatura del programma". Avanzamenti nei computer, volume 43, pagine 1–50, [[Academic Press]], 1996.

* Andrea di Lucia. "Program slicing: Methods and application", Workshop internazionale sull'analisi e la manipolazione del codice sorgente, pagine 142-149, 2001, [[IEEE Computer Society]] Press.

* Mark Harman e Robert Hierons. "Una panoramica del program slicing", Software Focus, volume 2, numero 3, pagine 85–92, gennaio 2001.

* David Binkley e Mark Harman. "Un'indagine sui risultati empirici sul program slicing", Advances in Computers, volume 62, pagine 105-178, [[Academic Press]], 2004.

* Jens Krinke. "Program Slicing", nel Manuale di ingegneria del software e ingegneria della conoscenza, volume 3: progressi recenti. [[World Scientific|Pubblicazione scientifica mondiale]], 2005

* Silva, Giuseppe. "Un vocabolario di tecniche basate sul program slicing", ACM Computing Surveys, volume 44, numero 3, [[Association for Computing Machinery]], giugno 2012

* [http://www.users.miamioh.edu/alomarhw/ Alomari HW] et al. "srcSlice: affettamento statico in avanti molto efficiente e scalabile". [https://onlinelibrary.wiley.com/journal/20477481 Wiley Journal of Software: Evoluzione e processo] ( '''JSEP''' ), DOI: 10.1002/smr.1651, vol. 26, n. 11, pp. 931-961, 2014.

== Link esterni ==

== LinkCollegamenti esterni ==

* [http://pp.info.uni-karlsruhe.de/project.php?id=30 VALSOFT/Progetto Joana]

* [http://indus.projects.cis.ksu.edu/index.shtml Progetto Indus] (parte di Bandera Checker)

* [http://www.cs.wisc.edu/wpis/html/ Progetto di slicing del programma del Wisconsin]

{{Program analysis}}

[[Categoria:Debugging]]