Ticket #65 (new modification)

Opened 3 years ago

Last modified 3 years ago

Relax Dependency Analysis

Reported by: ijones Assigned to: ross@soi.city.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: probably yes
Topic: Type System

Description

see RelaxedDependencyAnalysis.

Change History

02/02/06 04:32:05 changed by ross@soi.city.ac.uk

  • adopt changed from maybe to probably yes.

03/01/06 15:39:00 changed by john@galois.com

  • topic set to Type Inference.

03/01/06 15:47:44 changed by ijones@galois.com

  • topic changed from Type Inference to Type System.