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
1979 An Experiment in Software Error Data Collection and Analysis

1978 A Theory of Type Polymorphism in Programming

1983 What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks

1991 A User''s Guide To PVM Parallel Virtual Machine

1987 The Loom Knowledge Representation Language.

1984 Classification Problem Solving.

1984 A Tour Through Cedar

1986 Typestate: A Programming Language Concept For Enhancing Software Reliability

1976 The Semantics of Predicate Logic As A Programming Language

1976 Higher Order Software—A Methodology For Defining Software

1982 An Operational Approach To Requirements Specification For Embedded Systems

1984 A Storage-efficient Method For Construction of A Thiessen Triangulation

1994 Computer As Thinker/doer: Problem-solving Environments For Computational Science

1975 Static and Dynamic Characteristics of XPL Programs

1964 History and Summary of FORTRAN Standardization Development For The ASA

1964 The Syntax of Programming Languages-A Survey

1989 Centaur: The System

1972 The Conniver Reference Manual,

1966 Simple Deterministic Languages

1993 Expressing Mobility in Process Algebras : First-order and Higher-order Paradigms