Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-04164-8_12 | Semantics and Algebraic Specification |
Keywords | Field | DocType |
action algebra,denotational semantics,model algebra,object oriented,side effect,programming language,code generation | Denotational semantics of the Actor model,Programming language,Normalisation by evaluation,Denotational semantics,Action semantics,Domain theory,Compiler,Object language,Mathematics,Semantics | Conference |
Volume | ISSN | ISBN |
5700 | 0302-9743 | 3-642-04163-9 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luiz Carlos Castro Guedes | 1 | 1 | 0.71 |
Edward Hermann Haeusler | 2 | 102 | 33.20 |