Programming Language

Related Fields

Parent Topic:

Computer Science

Child Topic:

Low-level programming language, Lambda calculus, Functional programming, Axiomatic semantics, Inductive programming, Data structure, Software verification, Formal methods, Concurrent computing, Abstract machine, Theory of computation, Finite-state machine

Top Authors

Paper Recommendation
1981 Formal Grammar and Human Factors Design of An interactive Graphics System

1976 The Design of A Mechanical Assembly System

1997 Design Patterns For Object-Oriented Software Development

1986 Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks For Expert System Design

1979 Yacc: Yet Another Compiler-Compiler

1977 Prolog - The Language and Its Implementation Compared With Lisp

1981 An Efficient Coding System For Long Source Sequences

1994 A Syntactic Approach To Type Soundness

1972 QA4: A Procedural Calculus For intuitive Reasoning.

1987 Distrbution and Abstract Types in Emerald

1982 Data Flow Languages

2006 Formal Methods For Components and Objects

1978 The Revised Report on SCHEME: A Dialect of LISP.

1985 Readings in Knowledge Representation

2010 Logic For Programming, Artificial intelligence, and Reasoning

1983 MINOS 5.0 User's Guide.

2007 Matplotlib: A 2D Graphics Environment

1976 Production Systems As A Programming Language For Artificial intelligence Applications.

1980 A Domain Strategy For Computer Program Testing

1970 A View of Programming Languages