Electronic Notes in Theoretical Computer Science, Volume 14

Volume 14, 1998

• Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
  Preface.
  
• Roberto Souto Maior de Barros:
  On the Formal Specification and Derivation of Relational Database Applications.
  
• Paulo Borba:
  Systematic Development of Concurrent Object-Oriented Programs.
  
• Carlos Camarão, Lucília Figueiredo:
  Towards Higher-Order Types.
  
• Carlos Camarão, Lucília Figueiredo:
  A Type System for Context-dependent Overloading.
  
• Murilo S. de Camargo, Roberto Milton Scheffel:
  Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.
  
• Sergio E. R. de Carvalho, Toacy Cavalcante de Oliveira:
  An Incremental Model for Concurrent Objects.
  
• Sergio E. R. de Carvalho, Sylvia de O. Cruz, Toacy Cavalcante de Oliveira:
  Second Generation Object-Oriented Development.
  
• Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
  The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
  
• Michael Huth:
  The Interval Domain: A Matchmaker for aCTL and aPCTL.
  
• Samuel N. Kamin:
  Research on Domain-specific Embedded Languages and Program Generators.
  
• Leila Ribeiro Korff:
  Compatibility Between Syntax and Semantics of Graph Grammars.
  
• Leila Ribeiro Korff, Martin Korff:
  True Concurrency = Interleaving Concurrency + Weak Conflict.
  
• Gary T. Leavens, Don Pigozzi:
  Class-Based and Algebraic Models of Objects.
  
• Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa:
  Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
  
• Paulo Blauth Menezes:
  Diagonal Compositionality of Partial Petri Nets.
  
• Philip S. Mulry:
  Monads in Semantics.
  
• André Santos:
  Efficient Compilation of Functional Languages by Program Transformation.
  
• Carolyn L. Talcott:
  Reasoning about Programs With Effects.