( en | de | ru )

 

Disambiguierung von "Necula, George C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dependent Types for Low-Level Programming.

, , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

George C Craig

George C Tiao

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Guido C C Clinckspoor

Thomas C C Knöbig

 

Weitere Publikationen von Autoren mit dem selben Namen

A logic-based approach to software system safety and security., und . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 67-68 (2000)Join Algorithms for the Theory of Uninterpreted Functions., , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 311-323. Springer, (2004)CCured: type-safe retrofitting of legacy code., , und . ACM SIGPLAN Notices, 47 (4a): 74-85 (2012)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , und . CC, Volume 2304 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2002)Enforcing resource bounds via static verification of dynamic checks., , , , und . ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)Mining Temporal Specifications for Error Detection., und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 461-476. Springer, (2005)Lightweight Wrappers for Interfacing with Binary Code in CCured., und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2003)The Design and Implementation of a Certifying Compiler., und . PLDI, Seite 333-344. ACM, (1998)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)SJS: A Type System for JavaScript with Fixed Object Layout., , , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2015)