Augenblicke

Es wird diskutiert, inwiefern sich Farbstoffe als wissenschaftliches Objekt eignen und welche Erkenntnisse anhand einzelner Objekte und der gesamten Sammlung gewonnen werden

Zwei XML Schemata heißen genau dann äquivalent, wenn die Mengen gültiger Dokumente, die von. beiden Schemata beschrieben werden,

(Bemerkung: Die Herleitbarkeit von ∀x.P h¨ angt formal nicht vom speziellen x ab, da diese Variable als gebundene Variable beliebig umbenannt werden kann, so dass sie nicht in

If a run-time value is a reference that is not null, it refers to an object or array that has a class, and that class will necessarily be compatible with the compile-time type..

§9: An interface declaration introduces a new reference type whose members are classes, interfaces, constants and abstract methods.. ] classes can implement it by

§8.1.3: The optional extends clause in a class declaration specifies the direct superclass of the current class.. A class is said to be a direct subclass of the class

⇒ Ben¨ otigte Konversion wird als Property exp_conv festgehalten. 3 Typcheck stellt sicher: Zur Laufzeit wird erlaubter Wert

• Virtuelle Tabelle enth¨ alt Zeiger auf Funktionen. • (Parametertypen sind ausgelassen, um sp¨ ater Warnungen