|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
19 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Incremental Model for Concurrent Objects |
de Carvalho, Sergio E.R. |
1998 |
14 | C |
p. 86-93 8 p. |
article |
|
| 2 | A Type System for Context-dependent Overloading |
Camarão, Carlos |
1998 |
14 | C |
p. 52-61 10 p. |
article |
|
| 3 | Class-Based and Algebraic Models of Objects |
Leavens, Gary T. |
1998 |
14 | C |
p. 214-244 31 p. |
article |
|
| 4 | Compatibility between Syntax and Semantics of Graph Grammars |
Korff, Leila Ribeiro |
1998 |
14 | C |
p. 169-203 35 p. |
article |
|
| 5 | Diagonal Compositionality of Partial Petri Nets |
Menezes, P.Blauth |
1998 |
14 | C |
p. 274- 1 p. |
article |
|
| 6 | Efficient Compilation of Functional Languages by Program Transformation |
Santos, André |
1998 |
14 | C |
p. 287-300 14 p. |
article |
|
| 7 | Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach |
de Camargo, Murilo S. |
1998 |
14 | C |
p. 62-85 24 p. |
article |
|
| 8 | Monads in Semantics |
Mulry, Philip S. |
1998 |
14 | C |
p. 275-286 12 p. |
article |
|
| 9 | Nonsequential Automata Semantics for a Concurrent, Object-Based Language |
Blauth Menezes, P. |
1998 |
14 | C |
p. 245-273 29 p. |
article |
|
| 10 | On the Formal Specification and Derivation of Relational Database Applications |
Souto, Roberto |
1998 |
14 | C |
p. 3-29 27 p. |
article |
|
| 11 | Preface |
Cleaveland, Rance |
1998 |
14 | C |
p. 1-2 2 p. |
article |
|
| 12 | Reasoning about Programs With Effects |
Talcott, Carolyn |
1998 |
14 | C |
p. 301-314 14 p. |
article |
|
| 13 | Research on Domain-specific Embedded Languages and Program Generators |
Kamin, Samuel N. |
1998 |
14 | C |
p. 149-168 20 p. |
article |
|
| 14 | Second Generation Object-Oriented Development |
de Carvalho, Sergio E.R. |
1998 |
14 | C |
p. 94-106 13 p. |
article |
|
| 15 | Systematic Development of Concurrent Object-Oriented Programs |
Borba, Paulo |
1998 |
14 | C |
p. 30-37 8 p. |
article |
|
| 16 | The Interval Domain: A Matchmaker for aCTL and aPCTL |
Huth, Michael |
1998 |
14 | C |
p. 134-148 15 p. |
article |
|
| 17 | The Semantics of Triveni: A process-Algebraic API for Threads + Events |
Colby, Christopher |
1998 |
14 | C |
p. 107-133 27 p. |
article |
|
| 18 | Towards Higher-Order Types |
Camarão, Carlos |
1998 |
14 | C |
p. 38-51 14 p. |
article |
|
| 19 | True Concurrency = Interleaving Concurrency + Weak Conflict |
Ribeiro Korff, Leila |
1998 |
14 | C |
p. 204-213 10 p. |
article |
19 results found