News SMT-Nachfolger entwickelt? SHMT mit doppelter Leistung und geringerem Stromverbrauch

Mit C ist die Programmiersprache gemeint und der Compiler bleibt ruhig , wenn der Zahlenbereich verlassen wird! Kann aber schlimme Folgen haben! Wenn z.B. Integer mit 2^n für n =4 als akzeptierten Zahlenbereich hat , aber der Wert 17 wäre , dann kommt 1 raus! Macht einen großen Unterschied!
Dass mit C die Programmiersprache gemeint war, habe ich mir denken können. Was C und Zahlenüberläufe mit Apollo 13 und das ganze wiederum mit der Unterscheidung zwischen Scheduler und Compiler zu tun hat, aber nicht.
 
Zurück