Search the dblp DataBase

Publications of Author

1. Nicu G. Fruja
   Specification and Implementation Problems for C#. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2004, pp:127-143 [Conf]
   
2. Nicu G. Fruja, Robert F. Stärk
   The Hidden Computation Stepsof Turbo Abstract State Machines. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2003, pp:244-262 [Conf]
   
3. Nicu G. Fruja
   Type Safety of Generics for the .NET Common Language Runtime. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:325-341 [Conf]
   
4. Nicu G. Fruja
   The Correctness of the Definite Assignment Analysis in C#. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2004, v:3, n:9, pp:29-52 [Journal]
   
5. Nicu G. Fruja, Egon Börger
   Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. [Citation Graph (0, 0)][DBLP]
   Journal of Object Technology, 2006, v:5, n:3, pp:5-34 [Journal]
   
6. Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
   A high-level modular definition of the semantics of C#. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:336, n:2-3, pp:235-284 [Journal]
   
7. Nicu G. Fruja
   A Modular Design for the Common Language Runtime (CLR) Architecture. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2005, pp:175-200 [Conf]
   
8. Horatiu Jula, Nicu G. Fruja
   An Executable Specification of C++. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2005, pp:275-288 [Conf]
   
9. 
   Towards proving type safety of C^#. [Citation Graph (, )][DBLP]