-- nowait
bewirkt, dass nach Beenden des Programms nicht auf eine Benutzereingabe gewartet wird.
kyrdesktop
www.dummzeuch.deA large link list for different astronomy software and different operation systems is available here.
Converting data formats ( e.g. AAVSO -- > VSNET ) , and an observation input program ?
thola.deUnter http : / / astrotips.com gibt es mehr als 180 verschiedene Astronomie-Programme.
Tschechische Programme zur Konvertierung von Datenformaten ( AAVSO nach VSNET z.B. ) sowie ein Eingabeprogramm?
thola.deFor this functional code generator we have proven that the generated code executed on an abstract assembly machine for the VAMP processor is a simulation of the execution of the C0 source code with the C0 small step semantics.
In the second part we have implemented the compiler in C0 and have proven that , for a given input program , this implementation produces the same assembly code as the functional compiler specification in Isabelle / HOL .
Ansprechpartner:
www-wjp.cs.uni-saarland.deFür den funktionalen Code-Generator haben wir beweisen, dass die Ausführung des generierten Assemblercodes für ein bestimmtes C0 Programm auf der abstrakten Assemblermaschine des VAMP-Prozessors eine Simulation der Ausführung des ursprünglichen C0-Programms auf einer abstrakten C0-Maschine darstellt.
Im zweiten Teil implementieren wir den C0-Compiler in C0 und zeigen, dass die Compiler-Implementierung in C0 und die Compiler-Spezifikation in Isabelle / HOL den gleichen Assemblercode erzeugen.
Ansprechpartner:
www-wjp.cs.uni-saarland.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.