Xamarin-studio
Een complete IDE waarmee u mobiele applicaties in C # kunt maken met behulp van Native API's om te del ... ...
2 MB
 | DafnyEen redelijk nieuwe programmeringscodetaal voor die ontwikkelaars altijd op zoek naar iets nieuws wat ... |
| Download nu | |
Dafny Rangschikking & Samenvatting
Advertentie
Dafny Tags
Dafny Beschrijving
Dafny biedt ontwikkelaars een programmeertaal naast een programmaverificateur. Met Dafny, terwijl u in uw programma typt, zorgt de verificateur ervoor dat uw code foutloos is. Dafny zelf trekt meerdere stukken invloed uit: · EUCLID (van de mindset van een ontwerpen van een taal waarvan de programma's moeten worden geverifieerd) · Eiffel (zoals de ingebouwde contractfuncties) · CLU (zoals de iterators en inpiratie voor de syntaxis van out-parameter) · Java en C # (zoals de klassen, hoewel Dafny geen subclassificatie ondersteunt) · ML (zoals het module-systeem en de functies en inductieve datatypes, maar Dafny ondersteunt geen functies van hogere orde) · Coq (zoals de mogelijkheid om co-inductieve datatypes op te nemen en inductieve en co-inductieve bewijzen te kunnen schrijven)
Dafny Gerelateerde software
FPC Croscompiler Maker
Een gebruiksvriendelijke ontwikkelingstool die is ontworpen om programmeurs te helpen bij het maken van cross-platformcompilers voor ... ...
1.2 MB
ELA-platform
Een volledig-uitgestrekte IDE en een console voor het ontwikkelen van toepassing met behulp van ELA, een programmeertaal met een ... ...
1.3 MB
Kineticwing IDE
Een softwareprogramma met een functie ingepakt die in gebruik komt voor alle ontwikkelaars die op zoek zijn naar een flexibele ... ...
25.1 MB
Embedden bit
Een eenvoudige en eenvoudig te configureren applicatie die inheemse makeFiles kan maken en IDE-projecten, rep ... ...
1.2 MB