Keyword

programming languages

Description: Formal languages used to express instructions and algorithms for execution by computers, studied in computer science and software engineering.

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

Wikidata ID: wiki/Q9143

OpenAlex ID: keywords/programming-languages

Linear logic

1987 · Jean-Yves Girard · Theoretical Computer Science · 4,085

Python: a programming language for software integration and development.

1999 · M F Sanner · PubMed · 3,080

CodeBERT: A Pre-Trained Model for Programming and Natural Languages

2020 · Zhangyin Feng, Daya Guo, et al. · 2,814

PDF

Types and Programming Languages

2002 · Benjamin C. Pierce · 2,226

A theory of type polymorphism in programming

1978 · Robin Milner · Journal of Computer and System Sciences · 2,211

Programming in Prolog

1984 · William F. Clocksin, Christopher S. Mellish · Springer eBooks · 2,047

A classification and comparison framework for software architecture description languages

2000 · N. Medvidovic, R.N. Taylor · IEEE Transactions on Software Engineering · 1,988

PDF

Semantics of context-free languages

1968 · Donald E. Knuth · Theory of Computing Systems · 1,952

Direct Manipulation: A Step Beyond Programming Languages

1983 · Shneiderman · Computer · 1,940

Man-Computer Symbiosis

1960 · J. C. R. Licklider · IRE transactions on human factors in electronics · 1,918

Language-based information-flow security

2003 · A. Sabelfeld, A.C. Myers · IEEE Journal on Selected Areas in Communications · 1,906

The C Programming Language

1978 · Brian W. Kernighan, Dennis M. Ritchie · 1,873

Proceedings of the 8th Workshop on Programming Languages and Operating Systems

2015 · 1,628

Introduction to algorithms

1996 · R. K. Shyamasundar · Resonance · 1,467

Structure and Interpretation of Computer Programs

1985 · Harold Abelson, Gerald Jay Sussman, et al. · 1,441

Programming Languages and Systems

2004 · Lecture notes in computer science · 1,440

Recursive functions of symbolic expressions and their computation by machine, Part I

1960 · John McCarthy · Communications of the ACM · 1,388

PDF

Introduction to formal language theory

1980 · Computer Languages · 1,254

Encyclopedia of Software Engineering

2002 · Wiley eBooks · 1,161

The C programming language

1979 · Computer Languages · 1,157

The Art of Prolog

1987 · Leon Sterling, Ehud Shapiro, et al. · IEEE Expert · 1,099

Assigning Meanings to Programs

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

Institutions: abstract model theory for specification and programming

1992 · Joseph A. Goguen, Rod M. Burstall · Journal of the ACM · 991

PDF

Programming in Modula-2

1982 · Niklaus Wirth · Springer eBooks · 896

Lowering the barriers to programming

2005 · Caitlin Kelleher, Randy Pausch · ACM Computing Surveys · 886

Works count: 28,850

Citation count: 176,200