Thoughts on "extended Pascal—illustrative examples"
ACM SIGPLAN Notices
An Ada package for dimensional analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
APL '89 Conference proceedings on APL as a tool of thought
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Fully static dimensional analysis with C++
ACM SIGPLAN Notices
Dimension inference under polymorphic recursion
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Relational parametricity and units of measure
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Software
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Object-oriented units of measurement
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Adding Dimension Analysis to Java as a Composable Language Extension
Generative and Transformational Techniques in Software Engineering II
Rule-based analysis of dimensional safety
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |