Nicu G. Fruja

2008
9	EE	Nicu G. Fruja: Towards proving type safety of .NET CIL. Sci. Comput. Program. 72(3): 176-219 (2008)
2006
8	EE	Nicu G. Fruja: Type Safety of Generics for the .NET Common Language Runtime. ESOP 2006: 325-341
7	EE	Nicu G. Fruja, Egon Börger: Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology 5(3): 5-34 (2006)
2005
6	EE	Nicu G. Fruja: A Modular Design for the Common Language Runtime (CLR) Architecture. Abstract State Machines 2005: 175-200
5	EE	Horatiu Jula, Nicu G. Fruja: An Executable Specification of C++. Abstract State Machines 2005: 275-288
4	EE	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): 235-284 (2005)
2004
3	EE	Nicu G. Fruja: Specification and Implementation Problems for C#. Abstract State Machines 2004: 127-143
2	EE	Nicu G. Fruja: The Correctness of the Definite Assignment Analysis in C#. Journal of Object Technology 3(9): 29-52 (2004)
2003
1	EE	Nicu G. Fruja, Robert F. Stärk: The Hidden Computation Stepsof Turbo Abstract State Machines. Abstract State Machines 2003: 244-262

Coauthor Index

1	Egon Börger	[4] [7]
2	Vincenzo Gervasi	[4]
3	Horatiu Jula	[5]
4	Robert F. Stärk	[1] [4]

Colors in the list of coauthors