Thread
Stories related to "How to Verify Your Python Conversations" across the full archive.
Epub and Mobi available through http://radar.oreilly.com/2015/07/get-started-with-functional-programming-in-python.html
> Our results show that while polymorphism is used in all
programs, the programs are to a great extent monomorphic.
The polymorphism found is evenly distributed across librar-
ies and program-specific code and occur both during program
start-up and normal execution. Most programs contain a few
...
I thought https://sans-io.readthedocs.io/ was a great idea. As someone playing with asyncio, I find myself having to use libraries with poor/buggy protocol support.
But parsing protocols is hard. So I wanted to provide developers a library that will ease development of `sans-io` libraries. I also...
Some Trouble with Transparency: An Analysis of Student Errors with Object-oriented Python
(dl.acm.org)
This is behind a paywall on the ACM site but is available as a PDF on [ResearchGate](https://www.researchgate.net/publication/307088989_Some_Trouble_with_Transparency_An_Analysis_of_Student_Errors_with_Object-oriented_Python). I find ResearchGate to be spammy so I didn't link to them directly, hope ...
[Source](https://github.com/mdipierro/nlib)
The tool is available at https://github.com/marcoeilers/nagini
From C to Interaction Trees: Specifying Verifying and Testing of a Networked Server (2018)
(arxiv.org)
Abstract: "We present the first formal verification of a networked server implemented in C. Interaction trees, a general structure for representing reactive computations, are used to tie together disparate verification and testing tools (Coq, VST, and QuickChick) and to axiomatize the behavior of th...