Nicu G. Fruja

According to our database, Nicu G. Fruja authored at least 11 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Towards proving type safety of C^#.

Nicu G. Fruja

Comput. Lang. Syst. Struct., 2010

2008

Towards proving type safety of .NET CIL.

Nicu G. Fruja

Sci. Comput. Program., 2008

2007

Type safety of C# and .Net CLR.

Nicu G. Fruja

PhD thesis, 2007

2006

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis.

Nicu G. Fruja, Egon Börger

J. Object Technol., 2006

Type Safety of Generics for the .NET Common Language Runtime.

Nicu G. Fruja

Proceedings of the Programming Languages and Systems, 2006

2005

A high-level modular definition of the semantics of C#.

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk

Theor. Comput. Sci., 2005

An Executable Specification of C++.

Horatiu Jula, Nicu G. Fruja

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

A Modular Design for the Common Language Runtime (CLR) Architecture.

Nicu G. Fruja

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

The Correctness of the Definite Assignment Analysis in C#.

Nicu G. Fruja

J. Object Technol., 2004

Specification and Implementation Problems for C#.

Nicu G. Fruja

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

The Hidden Computation Stepsof Turbo Abstract State Machines.

Nicu G. Fruja, Robert F. Stärk

Proceedings of the Abstract State Machines, 2003