• Resoning about Java Classes in Nu
  
• Reasoning about Java Classes
  
• SIPL
  
• Java vs SIPL
  
• Types
  
• Java Types vs Nuprl Types
  
• class RecPair {int a; RecPair b;}
  
• class X {int a; boolean b; X c, d
  
• class X {int a; Y b;}
  
• classEquality
  
• fieldEquality
  
• coreEquality
  
• Object constructor "new"
  
• newEquality
  
• newReduceCore
  
• newReduceField
  
• Operator "core_update"
  
• coreUpdateEquality
  
• coreUpdateReduceCoreEq
  
• coreUpdateReduceCoreNeq
  
• coreUpdateReduceField
  
• Operator "field_update"
  
• fieldUpdateEquality
  
• fieldUpdateReduceCore
  
• fieldUpdateReduceFieldEq
  
• fieldUpdateReduceFieldNeq
  
• What are the elements of €@n?
  
• Structure of type €@n
  
• classElimination

---

Download slide show file

---