Jian Chen

Affiliations:

According to our database¹, Jian Chen authored at least 3 papers between 1992 and 1993.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

Soft sorting: integrating static and dynamic sort checking

[BibT_eX]

[DOI]

PhD thesis, 1993

Defining Soft Sortedness by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Soft Sorting in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992