{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:18:06Z","timestamp":1729631886358,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240326","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"304-309","source":"Crossref","is-referenced-by-count":10,"title":["Certifying measurement unit safety policy"],"prefix":"10.1109","author":[{"given":"G.","family":"Rosu","sequence":"first","affiliation":[]},{"family":"Feng Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1188.001.0001","author":"goguen","year":"1996","journal-title":"Alg Semantics of Imperative Programs MIT"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42346"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.4.366"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359501"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263761"},{"journal-title":"Programming Languages and Dimensions","year":"1995","author":"kennedy","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384129"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989793"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/382185.383006"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"ref3","article-title":"Handling fractions and n-tuples in algebraic languages","author":"cheatham","year":"1960","journal-title":"Presented at the 15th ACM Annual Meeting"},{"key":"ref6","volume":"6","author":"diaconescu","year":"0","journal-title":"CafeOBJ Report"},{"journal-title":"Compaq ESC for Java","year":"2000","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(77)90010-8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/15042.15048"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/9758.10501"},{"journal-title":"ELAN User manual","year":"0","author":"borovansk\u00fd","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380150604"},{"journal-title":"Object-Oriented Software Construction","year":"2000","author":"meyer","key":"ref20"},{"key":"ref22","article-title":"Dimensional inference under polymorphic recursion","author":"rittri","year":"1995","journal-title":"Proc ACM Conf on Functional Programming Languages and Computer Architecture"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00286491"}],"event":{"name":"18th IEEE International Conference on Automated Software Engineering","acronym":"ASE-03","location":"Montreal, Que., Canada"},"container-title":["18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8780\/27811\/01240326.pdf?arnumber=1240326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T08:05:03Z","timestamp":1585469103000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240326\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240326","relation":{},"subject":[]}}