A Language for the Complexity Analysis of Parallel Programs.
Jesus A. GonzálezCoromoto LeónM. PristintaJosé L. RodaCasiano RodríguezJ. M. RodríguezFrancisco de SandePublished in: PPAM (2001)
Keyphrases
- complexity analysis
- theoretical analysis
- programming language
- computer programs
- control structures
- high level programming language
- lower bound
- programming environment
- object oriented languages
- first order logic
- computational complexity
- parallel processing
- language constructs
- error handling
- shared memory
- agent programming
- natural language
- language learning
- dynamic logic
- language processing
- fixpoint
- database languages
- english language
- intermediate level
- java bytecode
- operational semantics
- parallel computation
- high level
- finite state machines