{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T05:40:18Z","timestamp":1740116418271,"version":"3.37.3"},"reference-count":27,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Optimization Methods and Software"],"published-print":{"date-parts":[[2022,3,4]]},"DOI":"10.1080\/10556788.2020.1797024","type":"journal-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T05:04:17Z","timestamp":1595826257000},"page":"480-502","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Generalized derivatives of computer programs"],"prefix":"10.1080","volume":"37","author":[{"given":"Matthew R.","family":"Billingsley","sequence":"first","affiliation":[{"name":"Process Systems Engineering Laboratory, Massachusetts Institute of Technology","place":["Cambridge, USA"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul I.","family":"Barton","sequence":"additional","affiliation":[{"name":"Process Systems Engineering Laboratory, Massachusetts Institute of Technology","place":["Cambridge, USA"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2020,7,26]]},"reference":[{"key":"e_1_3_2_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2017.1374385"},{"key":"e_1_3_2_3_1","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri S. Gulwani and R. Lublinerman Continuity analysis of programs in POPL '10 Madrid Spain 2010 pp. 57\u201370.","DOI":"10.1145\/1706299.1706308"},{"key":"e_1_3_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240262"},{"key":"e_1_3_2_5_1","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri and A. Solar-Lezama Smooth interpretation in PLDI '10 Vol. 45 Toronto Ontario Canada 2010 p. 279.","DOI":"10.1145\/1809028.1806629"},{"key":"e_1_3_2_6_1","doi-asserted-by":"crossref","unstructured":"S. Chaudhuri S. Gulwani R. Lublinerman and S. Navidpour Proving programs robust in FSE '11 Szeged Hungary 2011 pp. 102\u2013112.","DOI":"10.1145\/2025113.2025131"},{"key":"e_1_3_2_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971309"},{"key":"e_1_3_2_8_1","volume-title":"Introduction to Algorithms","author":"Cormen T.H.","year":"1990","unstructured":"T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Introduction to Algorithms, MIT Press, Cambridge, MA, 1990."},{"key":"e_1_3_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-013-0676-6"},{"key":"e_1_3_2_10_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2013.796683"},{"key":"e_1_3_2_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717761"},{"key":"e_1_3_2_12_1","doi-asserted-by":"crossref","unstructured":"D. Hamlet Continuity in software systems in ISSTA '02 ACM Press New York 2002 pp. 196\u2013200.","DOI":"10.1145\/566172.566203"},{"key":"e_1_3_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06409-2"},{"key":"e_1_3_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.10.026"},{"key":"e_1_3_2_15_1","unstructured":"S.M. Kakade and J.D. Lee Provably correct automatic sub-differentiation for qualified programs in Advances in Neural Information Processing Systems 31 S. Bengio H. Wallach H. Larochelle K. Grauman N. Cesa-Bianchi and R. Garnett eds. Curran Associates Inc. 2018 pp. 7125\u20137135 http:\/\/papers.nips.cc\/paper\/7943-provably-correct-automatic-sub-differentiation-for-qualified-programs.pdf."},{"key":"e_1_3_2_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2017.1341506"},{"key":"e_1_3_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491491.2491493"},{"key":"e_1_3_2_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2015.1025400"},{"key":"e_1_3_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0074500"},{"key":"e_1_3_2_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556780290027828"},{"key":"e_1_3_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-005-0633-0"},{"key":"e_1_3_2_22_1","doi-asserted-by":"publisher","DOI":"10.1021\/acs.iecr.9b02385"},{"key":"e_1_3_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01581275"},{"key":"e_1_3_2_24_1","unstructured":"\u017d. Sajovic and M. Vuk Operational calculus on programming spaces (2016) http:\/\/arxiv.org\/abs\/1610.07690."},{"key":"e_1_3_2_25_1","doi-asserted-by":"crossref","unstructured":"S. Scholtes Introduction to Piecewise Differentiable Equations Springer Briefs in Optimization Springer New York New York NY 2012.","DOI":"10.1007\/978-1-4614-4340-7"},{"key":"e_1_3_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82118-9"},{"key":"e_1_3_2_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970692"},{"key":"e_1_3_2_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/aic.14965"}],"container-title":["Optimization Methods and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10556788.2020.1797024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:51:40Z","timestamp":1740109900000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10556788.2020.1797024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,26]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,3,4]]}},"alternative-id":["10.1080\/10556788.2020.1797024"],"URL":"https:\/\/doi.org\/10.1080\/10556788.2020.1797024","relation":{},"ISSN":["1055-6788","1029-4937"],"issn-type":[{"type":"print","value":"1055-6788"},{"type":"electronic","value":"1029-4937"}],"subject":[],"published":{"date-parts":[[2020,7,26]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=goms20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=goms20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2019-10-23","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-06-29","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-07-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}