Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language.
Ricardo CaferraPhilippe JorrandPublished in: European Conference on Computer Algebra (2) (1985)
Keyphrases
- programming language
- network structure
- high level programming language
- general purpose
- programming environment
- object oriented
- functional language
- shared memory
- strongly typed
- functional programming
- parallel programming
- online social networks
- social networks
- database
- network analysis
- specification language
- link prediction
- dynamic networks
- data abstraction
- program code
- logic programming
- software engineering