Nicu G. Fruja

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Nicu G. Fruja
. Comput. Lang. Syst. Struct. 36 (1) (2010)
Nicu G. Fruja
Towards proving type safety of .NET CIL. Sci. Comput. Program. 72 (3) (2008)
Nicu G. Fruja
Type Safety of Generics for the .NET Common Language Runtime. ESOP (2006)
Nicu G. Fruja, Egon Börger
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. J. Object Technol. 5 (3) (2006)
Nicu G. Fruja
A Modular Design for the Common Language Runtime (CLR) Architecture. Abstract State Machines (2005)
Horatiu Jula, Nicu G. Fruja
An Executable Specification of C++. Abstract State Machines (2005)
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336 (2-3) (2005)
Nicu G. Fruja
Specification and Implementation Problems for C#. Abstract State Machines (2004)
Nicu G. Fruja
The Correctness of the Definite Assignment Analysis in C#. J. Object Technol. 3 (9) (2004)
Nicu G. Fruja, Robert F. Stärk
The Hidden Computation Stepsof Turbo Abstract State Machines. Abstract State Machines (2003)