A Tested Semantics for the Python Programming Language

By Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi. 2013

37 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Kuang-Chen Lu
2. B. Greenman
3. Carl-Heinz Meyer
4. Dino Viehland
5. Shriram Krishnamurthi
6. Aniket Panse

Citations in the corpus

• Gradual Soundness: Lessons from Static Python (2022, methodology): “Finally, we employed the well-established method of testing endto-end conformance with a test suite [5, 14, 26, 42, 43].”