Academic
Publications
Programming Languages and Dimensions

Programming Languages and Dimensions,Andrew John Kennedy

Programming Languages and Dimensions   (Citations: 31)
BibTex | RIS | RefWorks Download
Published in 1995.
Cumulative Annual
    • ...These are surveyed in Kennedy’s dissertation [13] where he presents a polymorphic dimension inference procedure...

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

    • ...Phantom types enforce distinctions among values with the same run-time representation, such as numbers with different units [30] and strings for different XML elements...

    Oleg Kiselyovet al. Fun with Type Functions

    • ...There is not space in these notes to present details; if you are interested, consult the author’s thesis [7]...
    • ...There are a couple of ways that this can be done [7,8]...
    • ...In general, any dimensionally consistent equation over several variables can be reduced to an equation over a smaller number of dimensionless terms which are products of powers of the original variables. This is known as the Pi Theorem [5]...
    • ...where r is the rank of the matrix A and Π1 ,...,Π n−r are dimensionless powerproducts of x1 ,...,x n. Proof. See Birkhoff [5]...

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

    • ...A dimension is a quantity that can be measured, and a unit is a specific value of a quantity that can be used as a scale (Kennedy 1996)...
    • ...We show a simple formalisation of the semantics below, based on the formalised arithmetic of (Kennedy 1996)...

    Geoffrey Biggset al. A pragmatic approach to dimensional analysis for mobile robotic progra...

    • ...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

Sort by: