/msc/07_infoapa/lectures/

0 directories 13 files
Name Size Modified
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