Volume 14, 1998
US - Brazil Joint Workshops on the Formal Foundations of Software Systems
Rio de Janeiro, May 5 - 9, 1997 and New Orleans, November 13 - 16, 1997
- Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
Preface.
1-2
- Roberto Souto Maior de Barros:
On the Formal Specification and Derivation of Relational Database Applications.
3-29
- Paulo Borba:
Systematic Development of Concurrent Object-Oriented Programs.
30-37
- Carlos Camarão, Lucília Figueiredo:
Towards Higher-Order Types.
38-51
- Carlos Camarão, Lucília Figueiredo:
A Type System for Context-dependent Overloading.
52-61
- Murilo S. de Camargo, Roberto Milton Scheffel:
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.
62-85
- Sergio E. R. de Carvalho, Toacy Cavalcante de Oliveira:
An Incremental Model for Concurrent Objects.
86-93
- Sergio E. R. de Carvalho, Sylvia de O. Cruz, Toacy Cavalcante de Oliveira:
Second Generation Object-Oriented Development.
94-106
- Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
107-133
- Michael Huth:
The Interval Domain: A Matchmaker for aCTL and aPCTL.
134-148
- Samuel N. Kamin:
Research on Domain-specific Embedded Languages and Program Generators.
149-168
- Leila Ribeiro Korff:
Compatibility Between Syntax and Semantics of Graph Grammars.
169-203
- Leila Ribeiro Korff, Martin Korff:
True Concurrency = Interleaving Concurrency + Weak Conflict.
204-213
- Gary T. Leavens, Don Pigozzi:
Class-Based and Algebraic Models of Objects.
214-244
- Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
245-273
- Paulo Blauth Menezes:
Diagonal Compositionality of Partial Petri Nets.
274
- Philip S. Mulry:
Monads in Semantics.
275-286
- André Santos:
Efficient Compilation of Functional Languages by Program Transformation.
287-300
- Carolyn L. Talcott:
Reasoning about Programs With Effects.
301-314
Last update Tue May 21 13:43:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
