Lacking Rhoticity

Monday, 31 August 2009

How to do model checking of Python code

›
I read about eXplode in early 2007. The paper describes a neat technique, inspired by model checking, for exhaustively exploring all execu...
5 comments:
Sunday, 28 June 2009

Encapsulation in Python: two approaches

›
Time for another post on how object-capability security might be done in Python. Suppose function closures in Python were encapsulated (i....
Sunday, 14 June 2009

Python standard library in Native Client

›
The Python standard library now works under Native Client in the web browser, including the Sqlite extension module . By that I mean tha...
12 comments:
Thursday, 28 May 2009

A really simple tracing debugger: part 2

›
In my last post I showed how to get a readable execution trace of a process using a simple ptrace()-based tracer (itrace) and binutils'...
Saturday, 16 May 2009

A really simple tracing debugger

›
gdb can be really useful for debugging when it prints the information you want, but sometimes it will fail to give a useful backtrace, and i...
Monday, 4 May 2009

Progress on Native Client

›
Back in January I wrote that I was porting glibc to Native Client . I have made some good progress since then. The port is at the stage...
Saturday, 18 April 2009

Python variable binding semantics, part 2

›
Time for me to follow up my previous blog post and explain the code snippets. Snippet 1 funcs = [] for x in (1, 2, 3): funcs.append...
5 comments:
‹
›
Home
View web version

About Me

Mark Seaborn
View my complete profile
Powered by Blogger.