John L. Singleton

According to our database¹, John L. Singleton authored at least 4 papers between 2014 and 2019.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

Inferring Concise Specifications of APIs.

[BibT_eX]

[DOI]

CoRR, 2019

2018

An algorithm and tool to infer practical postconditions.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2016

Spekl: A Layered System for Specification Authoring, Sharing, and Usage.

[BibT_eX]

[DOI]

John L. Singleton

Gary T. Leavens

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2014

Verily: a web framework for creating more reasonable web applications.

[BibT_eX]

[DOI]

John L. Singleton

Gary T. Leavens

Proceedings of the 36th International Conference on Software Engineering, 2014

John L. Singleton

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...