Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Daniel R. Zlatin

dblp:73/1551 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 1986
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 67% Program verification · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › type theory
constructive type theory		 0.011984
The Type Theory of PL/CV3 · ACM Trans. Program. Lang. Syst. 1984
Program verification › mechanized verification
proof checking		 0.011984
The Type Theory of PL/CV3 · ACM Trans. Program. Lang. Syst. 1984
Programming languages and type systems
type theory		 0.011984
The Type Theory of PL/CV3 · ACM Trans. Program. Lang. Syst. 1984

Methods — techniques the papers use, named apart from their topics

constructive logic · 0.0
YearPublicationVenuePosition
1986 From Specifications to Test Cases: AI in Software Quality
Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke
 ICC1
1984 The Type Theory of PL/CV3
abstract
article Free Access Share on The Type Theory of PL/CV3 Authors: Robert L. Constable Department of Computer Science, 405 Upson Hall, Cornell University, Ithaca, N.Y. Department of Computer Science, 405 Upson Hall, Cornell University, Ithaca, N.Y.View Profile , Daniel R. Zlatin Department of Computer Science, 405 Upson Hall, Cornell University, Ithaca, N.Y. Department of Computer Science, 405 Upson Hall, Cornell University, Ithaca, N.Y.View Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 6Issue 1Jan. 1984 pp 94–117https://doi.org/10.1145/357233.357238Online:01 January 1984Publication History 25citation305DownloadsMetricsTotal Citations25Total Downloads305Last 12 Months12Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Robert L. Constable, Daniel R. Zlatin
 ACM Trans. Program. Lang. Syst.2