home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / theory / 2937 < prev    next >
Encoding:
Text File  |  1993-01-28  |  950 b   |  37 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!charon.amdahl.com!amdahl!rtech!sgiblab!darwin.sura.net!newsserver.jvnc.net!gmd.de!Germany.EU.net!mcsun!julienas!ensmp!font.ensmp.fr!bazet
  3. From: bazet@chailly.ensmp.fr (Philippe BAZET)
  4. Subject: Adding Constraints to Automate Programming
  5. Message-ID: <BAZET.93Jan27195118@chailly.ensmp.fr>
  6. Sender: news@ensmp.fr
  7. Organization: /home/users/bazet/.organization
  8. Distribution: comp
  9. Date: 27 Jan 93 19:51:18
  10. Lines: 25
  11.  
  12. Hi net,
  13.  
  14.  
  15. Let us consider a circular list. It can be defined by an ML-like data
  16. type such as
  17.  
  18.     list 'a = nil | cons of 'a * list 'a ;
  19.  
  20. and the assertion:
  21.  
  22.     The last element for the list is the first one.
  23.  
  24. Does anyone know of programming systems in which such assertions can be
  25. expressed formally and used at either run-time or compile-time?  I know
  26. of Ait Kaci's LIFE which is mainly restricted to local structure
  27. constraints.  
  28.  
  29. Thanks in advance,
  30. Philippe Bazet.
  31. e-mail: bazet@cri.ensmp.fr
  32.  
  33.  
  34.  
  35.  
  36.  
  37.