Detailansicht

Wissensnetz

Allgemeinbegriff

Typprüfung

Prüfung

Sachbegriff	Typprüfung
Synonym	Type checking Typüberprüfung
Oberbegriff	Prüfung
Themengebiet	Informatik, Datenverarbeitung
Quelle	Microsoft-Comp.-Fachlex.
Datensatztyp	Allgemeinbegriff
GND-Nummer	4623348-9
Datensatz-ID	960832971
Thema in alle anzeigen A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler Certified programs and proofs : second international conference ; proceedings Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings Certified programs and proofs : first international conference ; proceedings Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings Syntaxgerichtete Übersetzung und Typüberprüfung bei Computern Trustworthly global computing : 5th international symposium ; revised selected papers Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk Calendars as types : data modeling, constraint reasoning, and type checking with calendars Design and implementation of a database programming language for XML-based applications Design and implementation of a database programming language for XML-based applications Verifying OCL specifications of UML models : tool support and compositionakity Set based failure diagnosis for concurrent constraint programming Concurrent object oriented programming with process types Set based failure diagnosis for concurrent constraint programming

Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

Katalog der Deutschen Nationalbibliothek

Typprüfung

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Certified programs and proofs : second international conference ; proceedings

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Certified programs and proofs : first international conference ; proceedings

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Syntaxgerichtete Übersetzung und Typüberprüfung bei Computern

Trustworthly global computing : 5th international symposium ; revised selected papers

Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk

Calendars as types : data modeling, constraint reasoning, and type checking with calendars

Design and implementation of a database programming language for XML-based applications

Design and implementation of a database programming language for XML-based applications

Verifying OCL specifications of UML models : tool support and compositionakity

Set based failure diagnosis for concurrent constraint programming

Concurrent object oriented programming with process types

Set based failure diagnosis for concurrent constraint programming