Cuardaigh malartuithe:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
mathematics » mathematical
1
Foilsithe 2008
Clár Ábhair: ... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar