Academic
Publications
Relational parametricity and units of measure

Relational parametricity and units of measure,10.1145/263699.263761,Andrew J. Kennedy

Relational parametricity and units of measure   (Citations: 27)
BibTex | RIS | RefWorks Download
ing with credit is permitted. To copy otherwise, to republish, to post on servers, or toredistribute to lists, requires prior specific permission and/or a fee. Request permissions from PublicationsDept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. Relational Parametricity and Units of MeasureAndrew J. KennedyLIX,"Ecole Polytechnique91128 Palaiseau cedex, FranceAbstractType systems for programming languages with numerictypes can be extended to support the checking of ...
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Kennedy [14] alsoprovesthattheseprogramswithpolymorphicdimension typesareparametricsothattheprogrambehaviorisindependent of the specific dimension, e.g., whether it is weight or length, or its unit, e.g., inches or centimeters...

    Pritam Royet al. SimCheck: a contract type system for Simulink

    • ...where r is the rank of A. Proof. See [9]. We can now apply this theorem to the pendulum example, recast in typetheoretic terms...

    Andrew Kennedy. Types for Units-of-Measure: Theory and Practice

    • ...Other approaches making use of language and type system extensions have targeted ML [22, 21], Pascal [13, 18], and Ada [14]...

    Mark Hillset al. Pluggable Policies for C

    • ...The concept of units is not limited to the conversion based on scalar functions, as in [8], but may also be applied to arbitrary conversion functions, e. g., for Celsius, Kelv in and Fahrenheit:...
    • ...In contrast to [8] the units are treated separately from the type system...
    • ...To be able to infer the units in a model, there are several operations required on µ. These are based on [8]...
    • ...This provides the ability to use units not only on a single type, as in [8], but also on any subtype of Float...

    Christian Kühnelet al. Compatibility and reuse in component-based systems via type and unit i...

    • ...To reduce the burden of annotations, researches have suggested embedding unit types in a type system like that of ML that supports type inference [21], [13]...
    • ...Kennedy [13] implements a algebraic technique that allows only integral exponents and also gives theoretical results on the expressiveness of such a system...

    Madhukar Anandet al. Unit & dynamic typing in hybrid systems modeling with CHARON

Sort by: