- Denotational semantics of a parallel object-oriented language
1989/11/01 by Pierre America, Jaco de Bakker, Joost N. Kok +1 · 1 citation
Computer Science · #Action semantics #Artificial intelligence #Computer science #Denotational semantics #Denotational semantics of the Actor model #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Normalisation by evaluation #Object (grammar) #Operational semantics #Parallel Computing and Optimization Techniques #Programming language #Semantics (computer science)
- LCF considered as a programming language
1977/12/01 by Gordon Plotkin, G.D. Plotkin · 7 citations
Computer Science · Mathematics · #Action semantics #Algebra over a field #Computer science #Denotation (semiotics) #Denotational semantics #Denotational semantics of the Actor model #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Linguistics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Normalisation by evaluation #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Set (abstract data type) #Well-founded semantics