{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:52Z","timestamp":1750220632198,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,15]]},"DOI":"10.1145\/3426430.3428130","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:41:54Z","timestamp":1606243314000},"page":"13-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SASIL: a domain-specific language for simulating declarative specifications of scheduling systems"],"prefix":"10.1145","author":[{"given":"Gahwon","family":"Lee","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Design of Elevator Group Control System Simulation Platform Based on Shortest Distance Algorithm. In 2010 International Conference on Electrical and Control Engineering. 2741-2744","author":"Chuansheng Wang","year":"2010","unstructured":"Wang Chuansheng and Chen Chunping . 2010 . Design of Elevator Group Control System Simulation Platform Based on Shortest Distance Algorithm. In 2010 International Conference on Electrical and Control Engineering. 2741-2744 . htps:\/\/doi.org\/10.1109\/iCECE. 2010.669 Wang Chuansheng and Chen Chunping. 2010. Design of Elevator Group Control System Simulation Platform Based on Shortest Distance Algorithm. In 2010 International Conference on Electrical and Control Engineering. 2741-2744. htps:\/\/doi.org\/10.1109\/iCECE. 2010.669"},{"key":"e_1_3_2_1_2_1","unstructured":"Jesse Dunietz. 2016. The Hidden Science of Elevators. htps:\/\/www.popularmechanics.com\/technology\/infrastructure\/ a20986\/ the-hidden-science-of-elevators\/  Jesse Dunietz. 2016. The Hidden Science of Elevators. htps:\/\/www.popularmechanics.com\/technology\/infrastructure\/ a20986\/ the-hidden-science-of-elevators\/"},{"volume-title":"Proceedings of 16th International Conference on Software Engineering. 223-227","year":"1994","key":"e_1_3_2_1_3_1","unstructured":"M.. Gaudel. 1994 . Formal specification techniques . In Proceedings of 16th International Conference on Software Engineering. 223-227 . htps: \/\/doi.org\/10.1109\/ICSE. 1994.296781 M.. Gaudel. 1994. Formal specification techniques. In Proceedings of 16th International Conference on Software Engineering. 223-227. htps: \/\/doi.org\/10.1109\/ICSE. 1994.296781"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312939"},{"key":"e_1_3_2_1_5_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport . 2002 . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison-Wesley Longman Publishing Co., Inc. , USA. Leslie Lamport. 2002. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_6_1","first-page":"179","volume-title":"Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software (Onward ! 2012 ). Association for Computing Machinery","author":"Loh Alex","unstructured":"Alex Loh , Tijs van der Storm, and William R. Cook. 2012. Managed data: modular strategies for data abstraction . In Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software (Onward ! 2012 ). Association for Computing Machinery , Tucson, Arizona, USA , 179 - 194 . htps:\/\/doi.org\/10.1145\/2384592.2384609 Alex Loh, Tijs van der Storm, and William R. Cook. 2012. Managed data: modular strategies for data abstraction. In Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software (Onward ! 2012 ). Association for Computing Machinery, Tucson, Arizona, USA, 179-194. htps:\/\/doi.org\/10.1145\/2384592.2384609"},{"key":"e_1_3_2_1_7_1","unstructured":"Donne Martin. 2014. elevatorsimulator. htps:\/\/github.com\/ donnemartin\/elevator-simulator  Donne Martin. 2014. elevatorsimulator. htps:\/\/github.com\/ donnemartin\/elevator-simulator"},{"key":"e_1_3_2_1_8_1","unstructured":"Greg McLeod. 2019. ElevatorJS. htps:\/\/github.com\/Cleod9\/elevatorjs  Greg McLeod. 2019. ElevatorJS. htps:\/\/github.com\/Cleod9\/elevatorjs"},{"key":"e_1_3_2_1_9_1","unstructured":"meatfighter. 2019. Knuth's Elevator Simulator. htps:\/\/github.com\/ meatfighter\/knuth-elevator  meatfighter. 2019. Knuth's Elevator Simulator. htps:\/\/github.com\/ meatfighter\/knuth-elevator"},{"key":"e_1_3_2_1_10_1","unstructured":"Rados\u0142aw Piwko. 2019. ElevatorSimulator. htps:\/\/github.com\/rpiwko\/ ElevatorSimulator  Rados\u0142aw Piwko. 2019. ElevatorSimulator. htps:\/\/github.com\/rpiwko\/ ElevatorSimulator"},{"volume-title":"Software Language Engineering (Lecture Notes in Computer Science), Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.)","author":"van der Storm Tijs","key":"e_1_3_2_1_11_1","unstructured":"Tijs van der Storm , William R. Cook , and Alex Loh . 2012. Object Grammars . In Software Language Engineering (Lecture Notes in Computer Science), Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.) . Springer , Berlin, Heidelberg , 4-23. htps:\/\/doi.org\/10.1007\/978-3-642-36089-3_2 Tijs van der Storm, William R. Cook, and Alex Loh. 2012. Object Grammars. In Software Language Engineering (Lecture Notes in Computer Science), Krzysztof Czarnecki and G\u00f6rel Hedin (Eds.). Springer, Berlin, Heidelberg, 4-23. htps:\/\/doi.org\/10.1007\/978-3-642-36089-3_2"},{"key":"e_1_3_2_1_12_1","unstructured":"Magnus Wolfelt and contributors. 2015. Elevator Saga. htp:\/\/play. elevatorsaga.com\/  Magnus Wolfelt and contributors. 2015. Elevator Saga. htp:\/\/play. elevatorsaga.com\/"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428130","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426430.3428130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:45Z","timestamp":1750197705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":12,"alternative-id":["10.1145\/3426430.3428130","10.1145\/3426430"],"URL":"https:\/\/doi.org\/10.1145\/3426430.3428130","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}