Programming Languages - Design and Constructs

abstract data type activation record actual parameter algorithm allocated argument array assignment statement association attributes block Boolean code segment compile component concept concurrency coroutines created data structure declaration deletion descriptor dynamic binding dynamic scoping elementary data elements evaluation example exception handling formal parameter FORTRAN free space list functional programming garbage collection grammar Horn Clause imperative languages implementation integer Java lambda expression LISP logic programming loop main program means memory message passing method multiple node non-local notation object-oriented programming operands operation Parse Tree Pascal PL/I pointer Polymorphism problem procedural languages program execution programming language Prolog recursive referencing environment runtime scope rule semantics semaphore sequence control sequential Specification stack static scoping storage representation stored string structured data objects subprogram subprogram calls swap symbols synchronization syntactic syntax type checking type definition variable vector