Browsing MIT by Subject
Now showing items 1759-1778 of 2651
Subject |
---|
Program repair [1] |
program synthesis [1] |
program transformation [1] |
program transformations [2] |
program translation [1] |
program understanding [2] |
program verification [1] |
Programmer's Apprentice [6] |
programmer's apprentice [1] |
programming language semantics [1] |
programming methodology [1] |
Programming models [2] |
programsoptimization [3] |
programsrecognition [1] |
projective geometry [2] |
Projective Invariants [1] |
projectivesgeometry [1] |
proof checking [1] |
proof optimization [1] |
proof search [1] |