Xamarin Studio.
Un IDE completo che consente di creare applicazioni mobili in C # utilizzando API native per ... ...
2 MB
 | DAFNY.Un linguaggio di codice di programmazione abbastanza nuovo per gli sviluppatori sempre alla ricerca di qualcosa di nuovo ... |
| Scarica ora | |
DAFNY. Classifica e riepilogo
Annuncio pubblicitario
DAFNY. Tag
DAFNY. Descrizione
DAFNY fornirą sviluppatori un linguaggio di programmazione accanto a un verificatore di programma. Con DAFNY, mentre digiti il tuo programma, il verificatore assicura che il tuo codice sia privo di errori. DAFNY stesso disegna molteplici effetti di influenza da: · Euclide (dalla mentalitą di una progettazione di una lingua i cui programmi devono essere verificati) · Eiffel (come le caratteristiche del contratto incorporato) · CLU (come i suoi iteratori e l'inpirazione per la sintassi fuori parametri) · Java e C # (come le lezioni, anche se DAFNY non supporta la sottoclassamento) · ML (come il sistema dei moduli e le sue funzioni e i tipi di dati induttivi, ma DAFNY non supporta funzionalitą di ordine superiore) · Coq (come la capacitą di includere tipi di dati co-induttivi ed essere in grado di scrivere prove induttive e co-induttivi)
DAFNY. Software correlato
Asterix IDE.
Un IDE intuitivo e facile da usare con Java e HTML intuitivo fornito con strumenti di modifica del testo di base, un comporto comodo ... ...
7.4 MB
FPC Crosscompiler Maker.
Uno strumento di sviluppo intuitivo progettato per assistere i programmatori nella creazione di compilatori multipiattaforma per ... ...
1.2 MB
Piattaforma ELA
Un IDE completo e una console per l'applicazione in via di sviluppo utilizzando ELA, un linguaggio di programmazione con un ... ...
1.3 MB
Kineticwing IDE.
Un'utilitą software confezionata che č utile a tutti gli sviluppatori che cercano un ... ...
25.1 MB