Osprey: A practical type system for validating dimensional unit correctness of C programs

Osprey: A practical type system for validating dimensional unit correctness of C programs

Misuse of measurement units is a common source of errors in scientific applications, but standard type systems do not prevent such errors. Dimensional analysis in physics can be used to manually detect such errors in physical equations. It is, however, not feasible to perform such manual analysis fo...

Saved in:

書目詳細資料
Main Authors:	JIANG, Lingxiao, SU, Zhendong
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2006
主題:	Gaussian elimination measurement units dimensional analysis constraint-based analysis type systems Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/1331 https://ink.library.smu.edu.sg/context/sis_research/article/2330/viewcontent/OspreyPracticalSystemValidatingUnitCorrect_2006.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Advanced flow-based type systems for object-oriented languages
由: CRACIUN MIHAI FLORIN GABRIEL
出版: (2010)

A flow-based approach for variant parametric types
由: Chin, W.-N., et al.
出版: (2013)

A flow-based approach for variant parametric types
由: Chin, W.-N., et al.
出版: (2013)

Extending sized type with collection analysis
由: Chin, W.-N., et al.
出版: (2013)

Extending sized type with collection analysis
由: Chin, W.-N., et al.
出版: (2013)

MODELING DEPENDENCIES WITH MIXTURE MODELS AND COPULAS
由: SIVA RAJESH KASA
出版: (2023)

Core-Java: An expression-oriented Java
由: Craciun, F., et al.
出版: (2013)

Pointwise bound of SO(d,C) -invariant holomorphic functions which are square-integrable with respect to a gaussian measure
由: Areerak Kaewthep
出版: (2008)

Pointwise bound of SO(d,C) -invariant holomorphic functions which are square-integrable with respect to a gaussian measure
由: Areerak Kaewthep
出版: (2005)

A knowledge-based approach for duplicate elimination in data cleaning
由: Lup Low, W., et al.
出版: (2013)

Improving type error diagnosis
由: Stuckey, P.J., et al.
出版: (2013)

Interactive Type Debugging in Haskell
由: Stuckey, P.J., et al.
出版: (2013)

A Gaussian-2 ab initio study of [C2H5S]+ ions: III. H2 and CH4 eliminations from CH3CHSH+ and CH3SCH+ 2
由: Chiu, S.-W., et al.
出版: (2014)

Mixing of linear operators under infinitely divisible measures on Banach spaces
由: Mau, Camille, et al.
出版: (2024)

Rationalizability in General Games
由: QU CHEN
出版: (2010)

Small Gaussian laser beam diameter measurement using a quadrant photodiode
由: Ng, T.W., et al.
出版: (2014)

Optimal burn-in for repairable products sold with a two-dimensional warranty
由: Ye, Z.-S., et al.
出版: (2014)

On the k-sample Behrens-Fisher problem for high-dimensional data
由: Zhang, J., et al.
出版: (2014)

Channel modeling and target design for two-dimensional optical storage systems
由: Huang, L., et al.
出版: (2014)

A systematic translation of guarded recursive data types to existential types
由: WANG MENG
出版: (2010)

Sparse Dimensionality Reduction Methods: Algorithms and Applications
由: ZHANG XIAOWEI
出版: (2013)

NodeMedic: End-to-end analysis of Node.js vulnerabilities with provenance graphs
由: CASSEL, Darion, et al.
出版: (2023)

IN SILICO MODELING AND EXPERIMENTAL VALIDATION FOR IMPROVING METHANOGENESIS FROM CO2 VIA M. MARIPALUDIS
由: NISHU GOYAL
出版: (2017)

Explicit, closed-form performance analysis in fading via new bound on Gaussian Q-function
由: Fu, H., et al.
出版: (2014)

Schedulers and redundancy for a class of constraint propagation rules
由: Brand, S., et al.
出版: (2013)

In-Situ TEM Study of Low Dimensional Structures at equilibrium and kinetically constrained growth regimes
由: LI ZHIPENG
出版: (2010)

Protein profiling of urine from normal Filipinos using two-dimensional gel electrophoresis
由: MAILYN, TERRADO
出版: (2010)

Optimum placement of phasor measurement units in power systems
由: Sun, Lu, et al.
出版: (2018)

A theory of overloading
由: Stuckey, P.J., et al.
出版: (2013)

AUTOMATED SCHEDULE GENERATION AND ANALYSIS FROM A CONSTRUCTION REQUIREMENT PERSPECTIVE
由: NGUYEN THI QUI
出版: (2015)

Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency (Journal of the ACM)
由: Zhang, Y., et al.
出版: (2013)

A MODEL AGGREGATION APPROACH FOR HIGH-DIMENSIONAL LARGE-SCALE OPTIMIZATION
由: ZHANG ERCONG
出版: (2024)

3D printed microfluidics for biological applications
由: Ho, Chee Meng Benjamin, et al.
出版: (2016)

Study on three-dimensional shape measurement of partially diffuse and specular reflective surfaces with fringe projection technique and fringe reflection technique
由: Huang, Lei, et al.
出版: (2017)

Meta-analytic Gaussian Network Aggregation
由: Epskamp, Sacha, et al.
出版: (2022)

Certain properties of the domains of multiplication and differentiation operators on a generalized Segal-Bargmann space
由: Benchawan Singphu
出版: (2007)

Certain properties of the domains of multiplication and differentiation operators on a generalized Segal-Bargmann space
由: Benchawan Singphu
出版: (2000)

Reverse Engineering Pesawat Amphibi Osprey-2 (GP3)
由: BUDHIYAN S, RIO

A type system for resource protocol verification and its correctness proof
由: Popeea, C., et al.
出版: (2013)

Surface laser scanning of the cleft palate deformity - Validation of the method
由: Foong, K.W.C., et al.
出版: (2013)