{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T07:21:55Z","timestamp":1748676115798,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ase.2003.1240305","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"174-183","source":"Crossref","is-referenced-by-count":43,"title":["A type system for statically detecting spreadsheet errors"],"prefix":"10.1109","author":[{"given":"Y.","family":"Ahmad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Antoniu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Goldwater","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Krishnamurthi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"key":"ref11","article-title":"Finding Spreadsheet Errors: Most spreadsheet models have design flaws that may lead to long-term miscalculations","author":"panko","year":"1995","journal-title":"InformationWeek"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1996.495416"},{"journal-title":"Types and Programming Languages","year":"2002","author":"pierce","key":"ref13"},{"journal-title":"Spreadsheets in Science and Engineering","year":"1995","author":"filby","key":"ref14"},{"article-title":"To The Middle: Big ERP vendors haven't done well in the midmarket. Can Microsoft do better?","year":"2002","author":"ricadela","key":"ref15"},{"key":"ref16","article-title":"Nasdaq Giving XBRL A Try","author":"colkin","year":"2002","journal-title":"Information Week"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366385"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.1999.787565"},{"journal-title":"VISICALC","year":"0","author":"bricklin","key":"ref4"},{"key":"ref3","article-title":"Visually Customizing Inference Rules About Apples and Oranges","author":"erwig","year":"2002","journal-title":"IEEE Symposium on Human Centric Computing Languages and Environments"},{"key":"ref6","first-page":"159","volume":"12","author":"findler","year":"2002","journal-title":"DrScheme A programming environment for Scheme"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7287.001.0001","author":"fellbaum","year":"1998","journal-title":"WordNet An Electronic Lexical Database"},{"key":"ref8","first-page":"348","volume":"788","author":"kennedy","year":"1994","journal-title":"European Symposium on Programming"},{"key":"ref7","article-title":"Academic Computing In U.S. Colleges And Universities: A Survey","volume":"4","author":"katz","year":"1992","journal-title":"Journal of Information Systems Education"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45587-6_12","article-title":"Adding apples and oranges","author":"erwig","year":"2002","journal-title":"Practical Aspects of Declarative Languages"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1017\/S0956796800003828","article-title":"Forms\/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm","volume":"10","author":"burnett","year":"2001","journal-title":"Journal of Functional Programming"},{"journal-title":"Microsoft Component Object Model","year":"0","key":"ref9"}],"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\/01240305.pdf?arnumber=1240305","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T04:05:14Z","timestamp":1585454714000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240305\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ase.2003.1240305","relation":{},"subject":[]}}