What is Logic Programming good for in Software Engineering?
Paolo Ciancarini, Giorgio Levi · Series on software engineering and knowledge engineering · 1993
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address [email protected]. UBLCS Technical Report Series 92-1 Mapping Parallel Computations onto Distributed Systems in Paralex, by O. Babao glu, L. Alvisi, A. Amoroso and R. Davoli, January 1992. 92-2 Parallel Scientific Computing in Distributed Systems: The Paralex Approach, by L. Alvisi, A. Amoroso, O. Babao glu, A. Baronio, R. Davoli and L. A. Giachini, February 1992. 92-3 Run-time Support for Dynamic Load Balancing and Debugging in Paralex, by O. Babao glu, L. Alvisi, S. Amoroso, R. Davoli, L. A. Giachini, September 1992. 92-4 Paralex: An Environment for Parallel Programming in Distributed Systems, by O. Babao glu, L. Alvisi, S. Amoroso, R. Davoli, L. A. Giachini, October 1992. 93-1 Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanism, by O. Babao glu and K. Marzullo, January 1993. 93-2 Understand...