Logic, programming, and type systems

TopicLeading institutions, researchers & key papers

This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract interpretation, and programming language semantics.

Works

IDs:OpenAlex

How has Logic, programming, and type systems's publication output changed over time?

ScholarIQpublication output · 1966–2015

Output grew0% over the shown period — from 1 works in 1966 to 1 in 2015.

196619861988199920002006200720092015

What are the most-cited papers on Logic, programming, and type systems?

ScholarIQmost cited works

The Jalapeño dynamic optimizing compiler for Java

Michael Burke, Jong-Deok Choi, Stephen J. Fink, David Grove, Michael Hind, Vivek Sarkar, Maurício Serrano, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley

1999275 Citations

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

S4210170642. 2009197 CitationsOPEN ACCESS

A Complete Guide to the Future

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen

Lecture notes in computer science. 2007176 Citations

A simple applicative language: mini-ML

Dominique Clement, Thierry Despeyroux, Gilles Kahn, Joëlle Despeyroux

1986161 CitationsOPEN ACCESS

A Timed Concurrent Constraint Language

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo