home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / function / 1080 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  2.4 KB
  1. Path: sparky!uunet!mcsun!sunic!chalmers.se!cs.chalmers.se!vittra15!andrew
  2. From: andrew@vittra15.cs.chalmers.se (Andrew Moran)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Denotational semantics using metric spaces
  5. Message-ID: <andrew.715953512@cs.chalmers.se>
  6. Date: 8 Sep 92 11:58:32 GMT
  7. Sender: news@cs.chalmers.se (News administrator)
  8. Organization: Dept. of CS, Chalmers, Sweden
  9. Lines: 77
  10.  
  11. Thanks to all those that replied.  If anyone has any others to add,
  12. please do.
  13.  
  14. Andy
  15.  
  16. ------------
  17.  
  18. Firstly, one I discovered myself before posting the original request
  19. (seems to be seminal):
  20.  
  21.     @article{Arnold80,
  22.     author =    "A. Arnold and M. Nivat",
  23.     title =     "Metric interpretations of infinite trees and semantics of
  24.              non-deterministic recursive programs",
  25.     journal =   "Theoretical Computer Science",
  26.     volume =    11,
  27.     pages =     "181--205",
  28.     year =      "1980"
  29.     }
  30.  
  31. From Luke Ong <Luke.Ong@cl.cam.ac.uk>:
  32.  
  33.     @article{MacQ86,
  34.     author =    "D. MacQueen and G. D. Plotkin and R. Sethi",
  35.     title =     "An ideal model for recursive polymorphic types",
  36.     journal =   "Information and Control",
  37.     volume =    71,
  38.     pages =     "95--130",
  39.     year =      "1986"
  40.     }
  41.     
  42. From Geoffrey Burn <glb@doc.imperial.ac.uk>:
  43.  
  44.     The main people doing this stuff are at CWI in Amsterdam.
  45.     Why not get a list of their technical reports?
  46.  
  47.     [ The main article of interest I have found is:
  48.  
  49.     @inproceedings{Bakker83,
  50.     author =    "J. W. de Bakker and J. I. Zucker",
  51.     title =     "Compactness in Semantics for Merge and Fair Merge",
  52.     booktitle = "Logics of Programs",
  53.     series =    "LNCS",
  54.     volume =    164,
  55.     pages =     "18--34",
  56.     year =      "1983"
  57.     } 
  58.  
  59.     Also:
  60.  
  61.     @inproceedings{Bakker86,
  62.     author =    "J. W. de Bakker and J. N. Kok and J.-J. Ch. Meyer and
  63.              E.-R. Olderog and J. I. Zucker",
  64.     title =     "Contrasting themes in the semantics of imperative
  65.              concurrency",
  66.     booktitle = "Current Trends in Concurrency, Overviews and Tutorials",
  67.     series =    "LNCS",
  68.     volume =    224,
  69.     pages =     "51--121",
  70.     year =      "1986"
  71.     }
  72.  
  73.     ]
  74.  
  75. From Oscar Nierstrasz <oscar@cui.unige.ch>:
  76.  
  77.     @article{Amer89a,
  78.     author =    "P. America and J. de Bakker and J. Kok and J. Rutten",
  79.     title =     "Denotational Semantics of a Parallel Object-Oriented
  80.              Language",
  81.     journal =   "Information and Computation",
  82.     volume =    83,
  83.     number =    2,
  84.     pages =     "152--205",
  85.     month =     Nov,
  86.     year =      "1989"
  87.     }
  88.