A model for multiparadigm systems


Abs t rac t : Systems consisting of programs from different paradigms or languages are called multiparadigm systems. A model for multiparadigm systems is developed using a possible worlds semantic. This semantic has been adapted from philosophy and successfully applied to analyzing protocols in distributed computing and in developing models that provide a… (More)
DOI: 10.1145/327164.327265


  • Presentations referencing similar topics