Whiley

Website: whiley.org

Proiectat de: David J. Pearce

În timp ce este un limbaj de programare experimentală care combină caracteristicile din paradigmele funcționale și imperative și susține specificația formală prin precondiții de funcții, postcondiții și invariante în buclă.

Limbajul folosește tastarea sensibilă la flux, cunoscută și sub denumirea de „tastarea fluxului”.

Proiectul în timp ce a început în 2009 ca răspuns la „verificarea compilatorului Grand Challenge” prevăzut de Tony Hoare în 2003.

Prima lansare publică a lui Whiley a fost în iunie 2010.

În mod special dezvoltat de David Pearce, în timp ce este un proiect open source cu contribuții dintr -o comunitate mică.

Sistemul a fost utilizat pentru proiecte de cercetare a studenților și pentru predarea claselor de licență.

Acesta a fost susținut între 2012 și 2014 de către Royal Society of Noua Zeelandă’s Marsden Fund.

În timp ce compilatorul generează cod pentru mașina virtuală Java și se poate întreprinde cu Java și alte limbi bazate pe JVM.