J.-M. Jacquet & L. Monteiro, Comparative Semantics for a Parallel Contextual Programming Language, in: Proc. North-American Logic Programming Conf., S. Debray and M. Hermenegildo (eds.), MIT Press (1990) pp. 195-214,  Home/Search   Document Not in Database   Summary   Related Articles

....point the resulting operators or models are well defined. The use of contractions to characterize a variety of models has been advocated in [Kok and Rutten, 1990] and has moreover proven its usefulness in verifying the equality of operational and denotational semantics. See [de Bakker, 1991] [Jacquet and Monteiro, 1990], Rutten, 1990] America and Rutten, 1991] van Breugel, 1991] for several applications in imperative, logical, object oriented and real time programming languages. See also [de Bakker and Meyer, 1988] de Bakker, 1989] de Bakker and de Vink, 1991] for some more introductory overviews of ....

J.-M. Jacquet & L. Monteiro, Comparative Semantics for a Parallel Contextual Programming Language, in: Proc. North-American Logic Programming Conf., S. Debray and M. Hermenegildo (eds.), MIT Press (1990) pp. 195-214,

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC