{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/45275"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/45275","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"A formal semantics of Python 3.3","abstract":"This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space of programs and performing static reasoning about programs. This is demonstrated by means of a partial semantics for the latest version of the popular Python programming language. With additional effort, this semantics will allow users to reason about Python programs, including sources of nondeterminism in the Python language specification, and formal reasoning about their behavior. While the semantics is incomplete, it is executable and has been thoroughly tested against a number of unit tests, and will be demonstrated to perform as well as the reference implementation of Python, CPython, on those features which have been completed. On these features, it also performs as well as or better than other comparable operational semantics of Python.","abstract_html":"This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space of programs and performing static reasoning about programs. This is demonstrated by means of a partial semantics for the latest version of the popular Python programming language. With additional effort, this semantics will allow users to reason about Python programs, including sources of nondeterminism in the Python language specification, and formal reasoning about their behavior. While the semantics is incomplete, it is executable and has been thoroughly tested against a number of unit tests, and will be demonstrated to perform as well as the reference implementation of Python, CPython, on those features which have been completed. On these features, it also performs as well as or better than other comparable operational semantics of Python.","abstract_has_math":false,"creators":["Guth, Dwight"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Rosu, Grigore"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2013,"date_issued":"2013-08-22T16:34:22Z","date_published":"2013-08-22T16:34:22Z","updated_at":"2026-07-22T22:25:34Z","subjects":["K framework","formal semantics","python","python3","python3.3"],"languages":["en"],"rights":["Copyright 2013 Dwight Guth"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/45275","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Rosu, Grigore"]},{"key":"dc:creator","label":"Author","values":["Guth, Dwight"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2013-08-22T16:34:22Z","2013-08"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["K framework","formal semantics","python","python3","python3.3"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2013 Dwight Guth"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/45275"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space of programs and performing static reasoning about programs. This is demonstrated by means of a partial semantics for the latest version of the popular Python programming language. With additional effort, this semantics will allow users to reason about Python programs, including sources of nondeterminism in the Python language specification, and formal reasoning about their behavior. While the semantics is incomplete, it is executable and has been thoroughly tested against a number of unit tests, and will be demonstrated to perform as well as the reference implementation of Python, CPython, on those features which have been completed. On these features, it also performs as well as or better than other comparable operational semantics of Python.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-07-10T20:37:42Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 Guth_Dwight.tar.gz: 32283 bytes, checksum: 2490449ecc22ac704966ca5fb188a617 (MD5) Guth_Dwight.pdf: 220163 bytes, checksum: 7d8613c9b4a73dfbfc8a0647e18daf8d (MD5)","Made available in DSpace on 2013-08-22T16:34:22Z (GMT). No. of bitstreams: 3 Dwight_Guth.pdf: 220163 bytes, checksum: 7d8613c9b4a73dfbfc8a0647e18daf8d (MD5) Guth_Dwight.tar.gz: 32283 bytes, checksum: 2490449ecc22ac704966ca5fb188a617 (MD5) license.txt: 4059 bytes, checksum: ad0a7eb076e167bc28f863c90de909ea (MD5)"]},{"key":"dc:title","label":"Title","values":["A formal semantics of Python 3.3"]}]}],"canonical_facts":{"dc:contributor":["Rosu, Grigore"],"dc:creator":["Guth, Dwight"],"dc:date":["2013-08-22T16:34:22Z","2013-08"],"dc:description":["This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space of programs and performing static reasoning about programs. This is demonstrated by means of a partial semantics for the latest version of the popular Python programming language. With additional effort, this semantics will allow users to reason about Python programs, including sources of nondeterminism in the Python language specification, and formal reasoning about their behavior. While the semantics is incomplete, it is executable and has been thoroughly tested against a number of unit tests, and will be demonstrated to perform as well as the reference implementation of Python, CPython, on those features which have been completed. On these features, it also performs as well as or better than other comparable operational semantics of Python.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-07-10T20:37:42Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 Guth_Dwight.tar.gz: 32283 bytes, checksum: 2490449ecc22ac704966ca5fb188a617 (MD5) Guth_Dwight.pdf: 220163 bytes, checksum: 7d8613c9b4a73dfbfc8a0647e18daf8d (MD5)","Made available in DSpace on 2013-08-22T16:34:22Z (GMT). No. of bitstreams: 3 Dwight_Guth.pdf: 220163 bytes, checksum: 7d8613c9b4a73dfbfc8a0647e18daf8d (MD5) Guth_Dwight.tar.gz: 32283 bytes, checksum: 2490449ecc22ac704966ca5fb188a617 (MD5) license.txt: 4059 bytes, checksum: ad0a7eb076e167bc28f863c90de909ea (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/45275"],"dc:language":["en"],"dc:rights":["Copyright 2013 Dwight Guth"],"dc:subject":["K framework","formal semantics","python","python3","python3.3"],"dc:title":["A formal semantics of Python 3.3"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:34Z"}