{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:33:32Z","timestamp":1729640012318,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2002.1013354","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:52:33Z","timestamp":1056577953000},"page":"153-160","source":"Crossref","is-referenced-by-count":2,"title":["Specifying behavior in C++"],"prefix":"10.1109","volume":"1","author":[{"family":"Xiangtian Dai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Hager","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Peterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685738"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/64.180407"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/3540634932_2","article-title":"Colbert: A language for reactive control in sapphira","author":"konolige","year":"1997"},{"key":"ref13","first-page":"103","article-title":"A framework for higher-order functions in C++","author":"\u00e4ufer","year":"1995","journal-title":"Proceedings of the USENIX Conference on Object-Oriented Technologies (COOTS)"},{"key":"ref14","article-title":"FC++: Functional programming in C++","author":"mcnamara","year":"2000","journal-title":"Proceedings of the International Conference on Functional Programming"},{"article-title":"A comparative review of robot programming languages","year":"0","author":"pembeci","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"ref17","first-page":"91","article-title":"Lambda in motion: Controlling robots with Haskell","author":"peterson","year":"1999","journal-title":"Practical Aspects of Declarative Lanquaqes"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1145\/302405.302681","article-title":"Pro-totyping real-time vision systems: An experiment in DSL design","author":"reid","year":"1999","journal-title":"International Conference on Software Engineering"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/02783640022068048"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/027836499801700407"},{"article-title":"FRP in C++. CIRL lab technical report","year":"0","author":"dai","key":"ref3"},{"key":"ref6","article-title":"Task networks for controlling continuous processes","author":"firby","year":"1994","journal-title":"Proc of the Second Int Conf on AI Planning Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"ref8","first-page":"257","article-title":"A transformational approach to the design of robot software","author":"hager","year":"2000","journal-title":"Robotics Research The Ninth International Symposium"},{"key":"ref7","article-title":"Programming real time applications with signal","volume":"79","author":"guernic","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref1","first-page":"6","article-title":"Modular specification of hybrid systems in CHARON","author":"alur","year":"2000","journal-title":"HSCC"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/cviu.1997.0586"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"}],"event":{"name":"2002 IEEE International Conference on Robotics and Automation","acronym":"ROBOT-02","location":"Washington, DC, USA"},"container-title":["Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7916\/21826\/01013354.pdf?arnumber=1013354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T06:36:57Z","timestamp":1623134217000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1013354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/robot.2002.1013354","relation":{},"subject":[]}}