home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / function / 1028 < prev    next >
Encoding:
Text File  |  1992-08-21  |  3.5 KB  |  86 lines
  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!elroy.jpl.nasa.gov!usc!snorkelwacker.mit.edu!ira.uka.de!fhg!iitb!usenet
  3. From: mel@iitb.fhg.de (Wolfgang Melchert)
  4. Subject: Re: Ideas for time-series manipulation language
  5. Message-ID: <1992Aug21.122228.8532@iitb.fhg.de>
  6. Sender: usenet@iitb.fhg.de
  7. Organization: Institut fuer Informations- und Datenverarbeitung
  8. Date: Fri, 21 Aug 1992 12:22:28 GMT
  9. Lines: 75
  10.  
  11. In  <Bt3Jt3.3Kn.2@cs.cmu.edu> tgl+@cs.cmu.edu (Tom Lane) writes:
  12.  
  13. > I'm thinking about designing a language in which discrete time series are a
  14. > fundamental data type.  I have vague memories of having seen similar ideas
  15. > before, so I'm hoping someone can point me to prior work.
  16. > [...]
  17. > So, if anyone can point me to related papers, language designs, working
  18. > systems, etc, I'd appreciate it.
  19.  
  20. There exist some developments on so-called 'synchronous' functional
  21. languages. In these languages the processing of 'streams' of same-type
  22. data objects can be described. According objects of different streams
  23. can be combined, and it is also possible to combine different objets 
  24. of the same stream, for instance if movements in a stream of 'image' 
  25. objects should be detected. The latter is described by using synchronous
  26. `predecessor' or 'delay' functions, that execute a relative index
  27. adressing of objects within a stream.
  28.  
  29. Two languages of this type are 'SIGNAL' and 'LUSTRE' (bibliography
  30. below). Both are rather similar. Independendly of this languages 
  31. (because I touched this bibliography only later) I have developed a 
  32. synchronous functional language too, that bases on the same idea. 
  33. The objective of my language is the programming of real-time image
  34. processing systems. Sorry, I don't yet have publications on my 
  35. language, but I am able to deliver a short english description
  36. on the general principles if required.
  37.  
  38. Bibliography: 
  39. -------------
  40. The first two articles describe the language SIGNAL, the next two
  41. the language LUSTRE, and the article of Beneviste & Berry concerns
  42. general aspects.
  43.  
  44. (LaTeX source)
  45.  
  46. \bibitem[Gau\-tier et al. 87]{Gautier et al. 87}
  47.  
  48. {\em SIGNAL: A Declarative Language for Synchronous Programming
  49. of Real-Time Systems.\/}
  50. T. Gautier, P. Le Guernic, L. Besnard.
  51. Functional Programming and Computer Architecture, Portland, OR,
  52. 1987, G. Kahn (Ed.), Springer Lecture
  53. Notes in Computer Science 274, Berlin, 1987, 257--277.
  54.  
  55. \bibitem[Le Guer\-nic et al. 91]{Le Guernic et al. 91}
  56.  
  57. {\em Programming Real-Time Applications with SIGNAL.\/}
  58. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
  59. Proceedings of the IEEE, Vol. 79, No. 9, 1991, 1321--1336.
  60.  
  61. \bibitem[Cas\-pi et al. 87]{Caspi et al. 87}
  62.  
  63. {\em LUSTRE: A Declarative Language for Programming Synchronous Systems.\/}
  64. P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice.
  65. 14th ACM Symposium on Principles of Programming Languages, M"unchen,
  66. 1987, 178--188.
  67.  
  68. \bibitem[Halb\-wachs et al. 91]{Halbwachs et al. 91}
  69.  
  70. {\em The Synchronous Data Flow Programming Language LUSTRE.\/}
  71. N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud.
  72. Proceedings of the IEEE, Vol. 79, No. 9, 1991, 1305--1319.
  73.  
  74. \bibitem[Be\-ne\-vis\-te \& Ber\-ry 91]{Beneviste a Berry 91}
  75.  
  76. {\em The Synchronous Approach to Reactive and Real-Time Systems.\/}
  77. A. Beneviste, G. Berry.
  78. Proceedings of the IEEE, Vol. 79, No. 9, 1991, 1270--1282.
  79.  
  80.  
  81. --
  82. Wolfgang Melchert                               e-mail: mel@iitb.fhg.de
  83. Fraunhofer-Institut fuer Informations- und      phone:  +49-721-6091-264
  84. Datenverarbeitung (IITB), Fraunhoferstrasse 1   fax:    +49-721-6091-413
  85. D-7500 Karlsruhe 1, GERMANY                     
  86.