Please enable JavaScript.

Coggle requires JavaScript to display documents.

Decade (1970s (C (Considered most important, Bell Labs by Ken Thompson…

- - - - ML
        
        Determines type of data which can't be changed
        
        First with type inference machine
        
        Parametric polymorphism
    - - PROLOG
        
        Pierre Roussel & Alan Comerauer
        
        Based on theorem proving methods (resolution)
        
        Proves a formula by inputing values that make it true
- - - - Local
      - Global
  - - - Introduced passing by name parameter
      - Mechanism
      - Hierarchy structure of blocks
  - - - Procedure
        
        Code for algorithmic aspects
      - Data
        
        Descriptions are written
      - Environment
        
        Specifies the external environment
      - Identification
        
        Contains data for identification (name, author...)
  - - - Calls
      - Pointers
      - Coroutines
      - Classes
      - Objects
- - - - Bjarne Stroustrup, Bell Labs
      - Based on the C language
      - No garbage collector to be compatible with C
      - Use of templates (generic class)
      - Allows multiple inheritance
  - - - PROLOG II
      - PROLOG III
      - CLP(R)
      - CHIP
        
        Extension of PROLOG
- - - - Portability
        
        Java Virtual Machine (JVM)
      - Secuity
        
        Guaranteeing the use of type safety
        
        Checks Java Compiler
        
        Bytecodes from compiling
        
        Bytecode interpreter does type checks