You are here:
(15 Jan 2009, GideonSmeding)
Date: 2008-10-23 Time: 11:45 Room: BBL room 471 ----+++ Speaker: Gideon Smeding ----+++ Title: An executable operational semantics for Python ([[http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/][thesis and sources]]) ----+++ Abstract Programming languages are often specified only in an informal manner; in the available documentation, the language behavior is described by examples and text. Only the implementation, a compiler or interpreter, describes the exact semantics of constructs. Python is no different. It is described by an informal manual and a number of implementations. No systematic, formal descriptions of its semantics are available. We developed a formal semantics for a comprehensive subset of Python. The semantics are described in literate Haskell. The source code is used to generate both a Python interpreter, and a formal specification document.
ore topic actions
Topic revision: r3 - 15 Jan 2009, GideonSmeding
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?