{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:27Z","timestamp":1725663387809},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:38Z","timestamp":1330202018000},"page":"283-291","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification of interactive languages using definite clause grammars"],"prefix":"10.1007","author":[{"given":"Weidong","family":"Dang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"Berg\u00e8re M., C. Gresse, M. Teguia, W. Dang, \"Browser for logic Programming Environment\", 4th international conference on software engineering, Toulouse, France, December, 1988.","key":"17_CR1"},{"doi-asserted-by":"crossref","unstructured":"Browne D.P; \"The formal Specification of Adaptive User Interfaces Using Command Language Grammar\", Proc. of CHI'86 Conf., Boston, April 1986.","key":"17_CR2","DOI":"10.1145\/22627.22381"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/964967.801130","volume":"17","author":"W. Buxton","year":"1983","unstructured":"Buxton W., Lamb M.R., Sherman D., Smith K.C.; \"Towards a comprehensive user interface management systems\". Computer Graphics, 17, 3 1983, pp 35\u201342","journal-title":"Computer Graphics"},{"unstructured":"Clocksin W.F., C.S. Mellish, \"Programming in Prolog\", Springer Verlag, 1981.","key":"17_CR4"},{"unstructured":"Dang W. and Hentinger J., \"Advanced logic programming environment\", Proceedings of 1988 European Conference and exposition of Sun user, March 1988, Versailles, France.","key":"17_CR5"},{"issue":"3","key":"17_CR6","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/325165.325286","volume":"19","author":"M. Green","year":"1985","unstructured":"Green M.; \"The University of Alberta User Interface Management System\", SIGGRAPH 85 Conference Proceedings, San Fransisco July 22\u201326, Computer Graphics, 19, 3, 1985, pp 205\u2013213","journal-title":"Computer Graphics"},{"doi-asserted-by":"crossref","unstructured":"Jacob R.J.K.; \"Using Foraml Specification in the Design of a Human-Computer Interface\", CACM Vol. 26, No.4, April 1983.","key":"17_CR7","DOI":"10.1145\/2163.358093"},{"unstructured":"Michard A.; \"Le Syst\u00e8me Graphique ASH-Prolog et son Utilisation Pour le Prototypage Rapide d'Interface Homme-Machine\", RT-076 INRIA, 1986.","key":"17_CR8"},{"issue":"3","key":"17_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/964967.801131","volume":"17","author":"D. R. Olsen","year":"1983","unstructured":"Olsen D.R.; Dempsey E.P.; \"SYNGRAPH: A Graphical User Interface Generator\", Computer Graphics, 17,3,1983, pp 43\u201350","journal-title":"Computer Graphics"},{"key":"17_CR10","volume-title":"The Brown Workstation Environment","author":"J. N. Pato","year":"1984","unstructured":"Pato J.N., Reiss S.P., Brown M.H.; \"The Brown Workstation Environment\", Dept of Comp. Sc., Brown University, Providence, 1984"},{"unstructured":"Pelhat S.; \"Analyse de l'inf\u00e9rence r\u00e9cursive en Prolog: le syst\u00e8me d'aide \u00e0 la d\u00e9tection et au controle de boucles\", Th\u00e8se de Doctorat 3\u00e8me cycle, Universit\u00e9 de Paris sud, Oct. 1987.","key":"17_CR11"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. N. Pereira","year":"1980","unstructured":"Pereira F.C.N., Wareen D.H.D.; \"Definite Clause Grammars for Language Analysis \u2014 A survey of Formalism and a Comparison with Augmented Transition Networks\", Artificial Intelligence, 13, 1980, pp231\u2013278.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Reisner P.; \"Formal Grammar and Human Factors Design of an Interactive Graphics System\", IEEE Tran. on Soft. Engi., Vol. SE-7, No.2, March 1981.","key":"17_CR13","DOI":"10.1109\/TSE.1981.234520"},{"doi-asserted-by":"crossref","unstructured":"Roach, J.W., Nickson M.; \"Formal Specification For Modelling And Developing Human-Computer Interfaces\", Proc. CHI'83 Conf. Boston, Dec. 1983.","key":"17_CR14","DOI":"10.1145\/800045.801576"},{"doi-asserted-by":"crossref","unstructured":"Sibert J.L. et al.; \"An Object-Oriented User Interface Management System\", Sigraph'86, Vol.20, No.4, Dallas, August 1986, pp259\u2013268.","key":"17_CR15","DOI":"10.1145\/15886.15915"},{"unstructured":"Takeuchi A., Furukawa K.; \"Partial Evaluation of Prolog Prolgrams And Its Application To Meta Programming\", IFIP, 1986, pp415\u2013420.","key":"17_CR16"}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:56Z","timestamp":1605647936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}