home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / ba / seminars / 794 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  2.2 KB
  1. Path: sparky!uunet!nntp1.radiomail.net!csl.sri.com!ba-seminars
  2. From: Judith Burgess <burgess@csl.sri.com>
  3. Newsgroups: ba.seminars
  4. Subject: CSL Seminar Feb. 1
  5. Date: 22 Jan 1993 16:02:26 -0800
  6. Organization: Gated to News by csl.sri.com
  7. Lines: 39
  8. Sender: daemon@csl.sri.com
  9. Message-ID: <1jq1uiINNips@roche.csl.sri.com>
  10. Reply-To: Judith Burgess <burgess@csl.sri.com>
  11. NNTP-Posting-Host: roche.csl.sri.com
  12.  
  13. CSL SEMINAR
  14.  
  15.         THE SYNCHRONOUS DATAFLOW PROGRAMMING LANGUAGE LUSTRE
  16.                          Nicolas Halbwachs
  17.                 IMAG Institute and Stanford University
  18.  
  19.        4:00 Monday, Feb. 1, SRI International Bldg. E, Rm EJ228
  20.              
  21. The language Lustre is a synchronous dataflow language designed
  22. for programming reactive systems --- such as automatic control
  23. and monitoring systems --- as well as for describing hardware. 
  24. The dataflow aspect of Lustre makes it very close to usual 
  25. description tools in these domains (block-diagrams, networks of
  26. operators, analog schemas, ...) and its synchronous interpretation
  27. makes it well suited for handling time in programs. Moreover, this
  28. synchronous interpretation allows it to be compiled into an
  29. efficient sequential code, whose control structure is a finite
  30. automaton synthesized by the compiler. Finally, the Lustre may be
  31. viewed as a temporal logic.  Therefore the language can be used for
  32. writing programs and for expressing program properties. This results
  33. in an original program verification methodology.
  34.  
  35. NOTE FOR VISITORS TO SRI:
  36.  
  37. Please arrive at least 10 minutes early in order to sign in and be 
  38. shown to the conference room.  SRI is located at 333 Ravenswood Ave.
  39. in Menlo Park. Visitors may park in the visitors lot in front of
  40. Building A or E.  They should sign in at the lobby of Building E and
  41. wait to be escorted to the meeting room.
  42.  
  43. IMPORTANT: Attendance is open, but visitors from certain countries
  44. designated by the US government must make arrangements in advance.
  45. If you have not already made such arrangements before your arrival,
  46. admission to the seminar will be denied. If you believe you may be
  47. from one of these countries and if you wish to make arrangements to
  48. attend, please call Judith Burgess at (415) 859-5924 at least three
  49. working days before the seminar.
  50.  
  51.  
  52.