Comments on: An executable operational semantics for Python http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/ Eating vowels for dinner Sun, 27 Sep 2009 18:52:44 +0000 http://wordpress.org/?v=2.9.1 hourly 1 By: lycedomu http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-58 lycedomu Sun, 27 Sep 2009 18:52:44 +0000 http://gideon.smdng.nl/?p=5#comment-58 <strong>lycedomu...</strong> <a href="http://zatey.sqweebs.com/" rel="nofollow">Topckit.com ,Start Free Registry Scan Now! Topckit...</a> ... lycedomu…

Topckit.com ,Start Free Registry Scan Now! Topckit… …

]]> By: yxonerypony http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-57 yxonerypony Thu, 24 Sep 2009 16:10:07 +0000 http://gideon.smdng.nl/?p=5#comment-57 <strong>yxonerypony...</strong> <a href="http://memazuzixelyv.blogspot.com/2009/09/ana-cornicova-wallpapers.html" rel="nofollow">harris county inmate public information</a> ... yxonerypony…

harris county inmate public information …

]]> By: admin http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-8 admin Thu, 12 Feb 2009 00:03:21 +0000 http://gideon.smdng.nl/?p=5#comment-8 Nope, that's all under 'future works' :) Nope, that’s all under ‘future works’ :)

]]> By: admin http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-7 admin Thu, 12 Feb 2009 00:02:19 +0000 http://gideon.smdng.nl/?p=5#comment-7 True, I could've mentioned that. But speaking from my own experience, discovering the semantics by reading the test-suite is not really productive. Tests are only an anecdotal description of the semantics and will by nature never be complete. Nevertheless I have to admit that my own tests where invaluable to discovering the semantics. So I would argue that, while the test might have a role for those who are describing semantics, they are of little use to anyone reading the semantics. True, I could’ve mentioned that. But speaking from my own experience, discovering the semantics by reading the test-suite is not really productive. Tests are only an anecdotal description of the semantics and will by nature never be complete.

Nevertheless I have to admit that my own tests where invaluable to discovering the semantics. So I would argue that, while the test might have a role for those who are describing semantics, they are of little use to anyone reading the semantics.

]]> By: Paddy3118 http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-6 Paddy3118 Wed, 11 Feb 2009 01:25:15 +0000 http://gideon.smdng.nl/?p=5#comment-6 In your introduction you fail to mention Pythons test suites role in defining what is Python. I remember reading that there has been some work in further categorizing the test suite for the developers of alternative implementations to CPython. - Paddy. In your introduction you fail to mention Pythons test suites role in defining what is Python.

I remember reading that there has been some work in further categorizing the test suite for the developers of alternative implementations to CPython.

- Paddy.

]]> By: Arnar Birgisson http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-5 Arnar Birgisson Tue, 10 Feb 2009 17:03:55 +0000 http://gideon.smdng.nl/?p=5#comment-5 Good work, congratulations. Now we just need a verifiable compiler for Python :) Have you looked at using your semantics to prove equivalence of programs? Good work, congratulations. Now we just need a verifiable compiler for Python :)

Have you looked at using your semantics to prove equivalence of programs?

]]> By: admin http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-4 admin Tue, 10 Feb 2009 13:35:58 +0000 http://gideon.smdng.nl/?p=5#comment-4 Well, I'm definitely considering it. I'll have to make a proper hackage package out of it, but that shouldn't be too difficult. Hmm, I can't really think of any good excuses so I suppose I have no choice. Well, I’m definitely considering it. I’ll have to make a proper hackage package out of it, but that shouldn’t be too difficult. Hmm, I can’t really think of any good excuses so I suppose I have no choice.

]]> By: Python binaries with VC++ 8.0? | keyongtech http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-3 Python binaries with VC++ 8.0? | keyongtech Tue, 10 Feb 2009 08:07:18 +0000 http://gideon.smdng.nl/?p=5#comment-3 [...] a a reference about "unless you're Dutch" to be made about this ;-). Further info is at: http://gideon.smdng.nl/2009/01/an-ex...cs-for-python/ I found this link via the Haskell Weekly News, http://sequence.complete.org . [...] [...] a a reference about "unless you’re Dutch" to be made about this ;-). Further info is at: http://gideon.smdng.nl/2009/01/an-ex…cs-for-python/ I found this link via the Haskell Weekly News, http://sequence.complete.org . [...]

]]> By: Don Stewart http://gideon.smdng.nl/2009/01/an-executable-operational-semantics-for-python/comment-page-1/#comment-2 Don Stewart Mon, 09 Feb 2009 21:46:09 +0000 http://gideon.smdng.nl/?p=5#comment-2 Will you be releasing the interpreter on http://hackage.haskell.org ? This seems like it would be a very useful contribution to the community. Will you be releasing the interpreter on http://hackage.haskell.org ? This seems like it would be a very useful contribution to the community.

]]>