Document

Dafny, a program verifier for functional correctness

Dafny, a program verifier for functional correctness

Program synthesis with Jennisys

Program synthesis with Jennisys

Computers: Tools for an Information Age

Computers: Tools for an Information Age

Slide 1

Slide 1

ECMAScript 6

ECMAScript 6

Emerald – distributed OO language

Emerald – distributed OO language

Document

Document

Completing Twelve Years of Schooling

Completing Twelve Years of Schooling