{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:23:08Z","timestamp":1729635788489,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174890","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"10 pp.","source":"Crossref","is-referenced-by-count":4,"title":["Phobos: a front-end approach to extensible compilers"],"prefix":"10.1109","author":[{"given":"A.","family":"Granicz","sequence":"first","affiliation":[]},{"given":"J.","family":"Hickey","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/351159.351173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44659-1_16"},{"journal-title":"The MetaPRL Logical Programming Environment","year":"2001","author":"hickey","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-45306-7_24","article-title":"SmartTools: A Generator of Interactive Environments Tools","volume":"2027","author":"attali","year":"2001","journal-title":"10th International Conference on Compiler Construction"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1188.001.0001","author":"goguen","year":"1996","journal-title":"Algebraic Semantics of Imperative Programs"},{"year":"0","author":"hickey","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79361-5_7"},{"key":"ref17","first-page":"347","author":"johnson","year":"1990","journal-title":"Yacc a parser generator"},{"key":"ref18","volume":"b","author":"leeuwen","year":"1990","journal-title":"Handbook of Theoretical Computer Science"},{"key":"ref19","article-title":"Extensible syntax with lexical scoping","author":"cardelli","year":"1994","journal-title":"Technical Report SRC 121"},{"journal-title":"Modern Compiler Implementation in ML Basic Techniques","year":"1997","author":"appel","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113737"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504285"},{"key":"ref5","article-title":"Formal Design Environments","author":"aydemir","year":"2002","journal-title":"Theorem Proving in Higher Order Logics 11th International Conference (TPHOL)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","article-title":"Une extension de 1'interpretation de Gödel a 1'analyse, et sonapplication a 1'elimination des coupures dans 1'analyse et la theorie des types","author":"girard","year":"1971","journal-title":"Proc 2nd Scand Logic Symp"},{"journal-title":"Camlp4","year":"2002","author":"de rauglaudre","key":"ref7"},{"key":"ref2","first-page":"215","article-title":"A Non-type-theoretic Definition of Martin-Lof's Types","author":"allen","year":"1987","journal-title":"Proc of Second Symp on Logic in Compo Sci"},{"journal-title":"Phobos A front-end approach to extensible compilers (long version) Technical Report caltechCSTR 2002 006","year":"2002","author":"granicz","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360969"},{"key":"ref20","article-title":"Formal aspects and development environments for Montages","author":"anlauff","year":"1997","journal-title":"2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97) Electronic Workshops in Computing"},{"key":"ref22","volume":"2304","author":"marjan","year":"2002","journal-title":"LISA An Interactive Environment for Programming Language Development"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/567097.567099"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/382296.382703","article-title":"Domain analysis: an introduction","volume":"15","author":"prieto-d\u00edaz","year":"1990","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45685-6_19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507646"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263707"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174890.pdf?arnumber=1174890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T14:07:37Z","timestamp":1585836457000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174890","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}