Abstract | ||
---|---|---|
. We present the core-L fragment of L and its program logic. Weillustrate the adequacy of L as a meta-language for jointly defining operationalsemantics and program logics of languages with concurrent and logic features,considering the case of a specification logic for concurrent objects addressing mobilefeatures like creation of objects and channels in a simple way. Specificationsare executable by a translation that assigns to every specification a model in theform of a core-L... |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BFb0053562 | ESOP |
Keywords | Field | DocType |
concurrent objects,executable logic specifications | Specification language,Operational semantics,Programming language,Computer science,Program logic,Communication channel,Theoretical computer science,Verifiable secret sharing,AND gate,Semantics,Executable | Conference |
Volume | ISSN | ISBN |
1381 | 0302-9743 | 3-540-64302-8 |
Citations | PageRank | References |
11 | 3.32 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luís Caires | 1 | 1037 | 63.30 |
Luís Monteiro | 2 | 126 | 19.98 |