Keyword

program semantics

Description: Program semantics is the mathematical study of the meaning and behavior of computer programs and programming languages.

Primary topic: Logic, programming, and type systems (72%)

Wikidata ID: wiki/Q1437428

OpenAlex ID: keywords/programming-language-semantics

Communication and Concurrency

1989 · Robin Milner · 6,906

Abstract interpretation

1977 · Patrick Cousot, Radhia Cousot · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 6,284

Can programming be liberated from the von Neumann style?

1978 · John Backus · Communications of the ACM · 2,615

PDF

The Definition of Standard ML

1997 · Robin Milner, Robert Harper, et al. · The MIT Press eBooks · 2,419

A Structural Approach to Operational Semantics

2004 · Gordon Plotkin · 1,955

Guarded commands, nondeterminacy and formal derivation of programs

1975 · Edsger W. Dijkstra · Communications of the ACM · 1,941

PDF

Principles of Program Analysis

1999 · Flemming Nielson, Hanne Riis Nielson, et al. · Springer eBooks · 1,836

Constraint logic programming

1987 · J. Jaffar, J.-L. Lassez · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 1,612

Continuous Lattices and Domains

2003 · G. Gierz, K. H. Hofmann, et al. · Cambridge University Press eBooks · 1,595

Foundations of logic programming; (2nd extended ed.)

1987 · John W. Lloyd · Springer eBooks · 1,501

Assigning meanings to programs

1967 · Robert W. Floyd · Proceedings of symposia in applied mathematics · 1,501

CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation

2021 · Yue Wang, Weishi Wang, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 1,488

PDF

Algebraic laws for nondeterminism and concurrency

1985 · Matthew Hennessy, Robin Milner · Journal of the ACM · 1,352

Partial Metric Topology

1994 · S. G. MATTHEWS · Annals of the New York Academy of Sciences · 1,255

Call-by-name, call-by-value and the λ-calculus

1975 · G.D. Plotkin · Theoretical Computer Science · 1,155

PDF

LCF considered as a programming language

1977 · G.D. Plotkin · Theoretical Computer Science · 1,086

Assigning Meanings to Programs

1993 · Robert W. Floyd · Studies in cognitive systems · 1,079

Certification of programs for secure information flow

1977 · Dorothy E. Denning, Peter J. Denning · Communications of the ACM · 1,030

PDF

The Mechanical Evaluation of Expressions

1964 · P. J. Landin · The Computer Journal · 926

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

2006 · Mike Barnett, Bor-Yuh Evan Chang, et al. · Lecture notes in computer science · 822

Predicate Calculus and Program Semantics

1990 · Edsger W. Dijkstra, Carel S. Scholten · Springer eBooks · 721

Automatically learning semantic features for defect prediction

2016 · Song Wang, Taiyue Liu, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 719

A structural approach to operational semantics

2004 · The Journal of Logic and Algebraic Programming · 710

Hardware-software cosynthesis for microcontrollers

1993 · R. Ernst, J. Henkel, et al. · IEEE Design & Test of Computers · 708

Programming semantics for multiprogrammed computations

1983 · Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 676

PDF

Works count: 8,755

Citation count: 138,600