Adding Constraints to Automate Programming

Thread View: comp.lang.misc

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Philippe BAZET Wed, 27 Jan 1993 19:50

#4258

Author: Philippe BAZET
Date: Wed, 27 Jan 1993 19:50

20 lines
979 bytes

Hi net,


Let us consider a circular list. It can be defined by an ML-like data
type such as

	list 'a = nil | cons of 'a * list 'a ;

and the assertion:

	The last element for the list is the first one.

Does anyone know of programming systems in which such assertions can be
expressed formally and used at either run-time or compile-time?  I know
of Ait Kaci's LIFE which is mainly restricted to local structure
constraints.  

Thanks in advance,
Philippe Bazet.
e-mail: bazet@cri.ensmp.fr

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads