Folder Path

/msc/07_infoapa/lectures/

0 directories 13 files
List Grid
Name
Size Modified
Up
01-administrationmotivationintroduction.pdf
388 KiB
02-dataflow-intraprocedural.pdf
1.0 MiB
03-dataflow-interprocedural.pdf
664 KiB
04-abstractinterpretation.pdf
789 KiB
06-controlflowanalysis.pdf
1011 KiB
07-cfa-continued.pdf
482 KiB
08-effects.pdf
507 KiB
09-typeinferencedirectives.pdf
392 KiB
09-usageanalysis.pdf
1.1 MiB
10-plagiarismdetection.pdf
597 KiB
11-plagiarismtoolcomparison.pdf
548 KiB
12-objectsensitivity-popl11-smaragdakis.pdf
288 KiB
13-measuringsoftwareproductquality.pdf
3.2 MiB