Advanced .NET and C# programming (PRG035)

In 2005/2006, renamed to .NET Principles (PRG035) and taught by Pavel Jezek. See http://nenya.ms.mff.cuni.cz/~jezek.

Slides and Samples

1. Introduction to CLR, C# Overview - Part I
   Introduction.pdf, CSharp1.pdf

2. C# Overview - Part II
   CSharp2.pdf, Samples2.zip (Structures.cs, InnerClass.jsl, ExplicitInterfaces.cs)

3. C# Overview - Part III
   CSharp3.pdf, Samples3.zip (OperatorOverloading.cs, ParameterPassing.cs)

4. C# Overview - Part IV
   CSharp4.pdf, Samples4.zip (Exceptions.cs, UnsafeCode.cs, XmlComments.cs, XmlComments.ndoc)

   C# Overview - all parts, all samples

5. Introduction to Rotor, Object Internals - Execution Engine's View of Objects, Strings, Arrays and Delegates
   ObjectInternals.pdf, Samples5.zip (Interning.cs, Arrays.cs)

6. Remoting Prerequisities: Processes, Application Domains, Threads, Stack and Serialization
   RemotingPrerequisities.pdf, Samples6.zip (includes VS.NET 2003 project and solution files)

7. Metadata Internals, Reflection, Reflection.Emit
   Metadata.pdf, Samples7.zip (includes VS.NET 2003 project and solution files)

8. Remoting: Remote Objects, Object Activation, Lifetime Services, Channels
   Remoting.pdf, Samples8.zip (includes VS.NET 2003 project and solution files)

9. Intermediate Language, IL Assembler, CLR vs. JVM, Tools
   IL.pdf, Samples9.zip (includes VS.NET 2003 project and solution files)

10. Introduction to C++ with Managed Extensions and C++/CLI
    C++.pdf, Samples10.zip (includes VS.NET 2003 project and solution files)

11. Garbage Collection
    GC.pdf, Samples11.zip (includes VS.NET 2003 project and solution files)

12. CLR 2.0 & C# 2.0: Generics, Iterators, Anonymous Methods, Nullable Value Types, Partial Types, and more
    CSharp2.pdf, Samples12.zip (includes VS.NET 2005 project and solution files)

13. Experimental Languages: Cω, Spec#, F# Languages
    ExperimentalLanguages.pdf, Samples13.zip (includes VS.NET 2005 project and solution files, VSIP 2005 is needed for F# integration to VS.NET 2005, F# compiler is also necessary)

Links

Lectures, Presentations and Workshops

• Programatorske vecery (Czech)
• .NET Technologies Workshop (International)

CLI and CLI Languages

• Common Language Infrastructure Standard (ECMA 335)
• C# Specification (ECMA 334)
• C# 2.0 Specification (.doc)
• C++/CLI Specification (.pdf)
• Cω Language (homepage)
• Software4net CLRxLint - checked exception verifier for Microsoft .NET (homepage)

CLI Implementations and Tools

• Shared Source CLI - Rotor (download)
• Mono (homepage)
• Visual Studio 2005 Express Beta 1 (homepage)
• Visual Studio Extensibility Center (homepage)
• Lutz Roeder's Reflector for .NET - a decompiler (homepage)
• Jay Freeman's Anakrino - a decompiler (homepage)
• NDoc - XML Code Documentation Generator for .NET (homepage)

Papers and Articles

• Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte: The Spec# Programming System: An Overview (.pdf)
• John Gough: A Comparision of Virtual Machines (.pdf)
• Dare Obasanjo: A comparison of C# 1.0 and J2SE 1.4 (.htm)
• Wesner Moise: Pointers, Strings, Arrays Undocumented

Books

• Serge Lidin: Inside Microsoft .NET IL Assembler, Microsoft Press, 2002
• Jeffrey Richter: Applied Microsoft .NET Framework Programming, Microsoft Press, 2002
• Damien Watkins, Mark Hammond, Brad Abrams: Programming in the .NET Environment, Addison-Wesley, 2003
• David Stutz: Shared Source CLI Essentials, O'Reilly, 2003