Source code annotation language

Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal paramet...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	DAS MANUVIR, LOW SPENCER WONG, HUDSON WILLIAM HUNTER, TEREK F. SONER, FAHNDRICH MANUEL ALFRED, VENKATAPATHY RAMANATHAN, SHIHARA WILLIAM HIROAKI, RUESCHER HANNES, AGARWAL SAMEET HARISHANKER, WEISE DANIEL W
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!