Michael W. Fagan, Laurent Hascoët, Jean Utke. Data Representation Alternatives in Semantically Augmented Numerical Models. In Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA. pages 85-94, IEEE Computer Society, 2006. [doi]
Abstract is missing.