Logic, programming, and type systems

TopicLeading institutions, researchers & key papers

Logic, programming, and type systems is a topic indexed in ScholarIQ from OpenAlex.

What is known about Logic, programming, and type systems?

ScholarIQrecord summary

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.

How many works does Logic, programming, and type systems have?

ScholarIQindexed works

Logic, programming, and type systems has 22 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.

See the works listed for Logic, programming, and type systems →

What is the OpenAlex record for Logic, programming, and type systems?

ScholarIQopenalex

The OpenAlex for Logic, programming, and type systems is on the source record.

Open the OpenAlex →

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

Texts in computer science. 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