Verifiable functional purity in java

By Matthew Finifter, Adrian Matthew Mettler, Naveen Sastry, David A. Wagner. 2008

59 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Program Analysis & Verification, Signal Processing

How researchers see this paper

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

In Artificial Intelligence

1. Miltiadis Allamanis
2. Charles Sutton
3. Earl T. Barr
4. Premkumar T. Devanbu
5. Eran Yahav
6. Uri Alon
7. Rishabh Singh
8. Rafael-Michael Karampatsis

In Program Analysis & Verification

1. Miltiadis Allamanis
2. Charles Sutton
3. Earl T. Barr
4. Premkumar T. Devanbu
5. Eran Yahav
6. Uri Alon
7. Marc Brockschmidt
8. Omer Levy

In Signal Processing

1. Charles Sutton
2. Miltiadis Allamanis
3. Earl T. Barr
4. Premkumar T. Devanbu
5. Eran Yahav
6. Uri Alon
7. Prem Devanbu
8. Michael Pradel

Citations in the corpus

• A Survey of Machine Learning for Big Code and Naturalness (2017, background): “purity of a function [60] or pre-/post- conditions [90])”