Re: Interface Specifications

To: brian_bailey@MENTORG.COM
Subject: Re: Interface Specifications
From: leavens@cs.iastate.edu (Gary Leavens)
Date: Tue, 10 Jan 95 09:51:53 CST
Cc: larch-interest@pa.dec.com, brian_bailey@MENTORG.COM
Delivery-Date: Tue, 10 Jan 95 08:04:49 -0800
In-Reply-To: <9501091713.AA14760@quake.MENTORG.COM> (brian_bailey@MENTORG.COM)

Brain,
	I agree it would be possible to define a Larch interface language
to specify the hardware/software interface.  Sounds like a good idea.
I would think the biggest difficulty would be in mapping the specification
text that desccribes the hardware's interface to the physical hardware
interface.  In a language like Larch/C++, one has an interface, such as
	int sqrt(int x)
which is a piece of C++ text, and an implementation has the same interface
text, so the matching is fairly simple and intuitive.  But perhaps you can
add pre- and postconditions to some standard hardware description language?
	Gary
	229 Atanasoff Hall, Department of Computer Science
	Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
	phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
	URL: http://www.cs.iastate.edu/~leavens/larchc++.html

Reference(s):

Interface Specifications

From: brian_bailey@MENTORG.COM (Brian Bailey)

Prev: Re: Higher-order operators
Next: Survey, Larch/CLU, Higher-order operators
Index: Larch archive index