wg@opal.cs.tu-berlin.de (Wolfgang Grieskamp) (05/26/91)
Hello,
I'am looking for some recent references on work about the
_concrete_ integration of algebraic specification and functional
programming. I already know about [1][2][3][4], but this references
are mostly older then 5 years, and morever, [1][3] are more general
then I would like to consider (i.e. meet of specification with
imperative/process-oriented programming).
To constraint the subject, I'am interested in:
o a loose approach to specification, with full 1st order
logic power and function spaces.
o an applicative approach to implementation which needs to
be only in the behavioral loose model class of the
specification.
o a real integration of both: i.e. not several loosely-related
language layers.
I feel, that much {has,should have} been happened since CIP-L and
EXTENDED ML.
Any pointers would be greatly appreciated. Of course, I summarize on
interest.
Wolfgang Grieskamp
[1] The CIP Language Group: The Munich CIP Project. LNCS 183 (1985).
[2] Sannella, Tarlecki: "Program Specification and Development in
Standard ML", 12th ACM Symposium on Principles of Programming
Languages (1985).
[3] Guttag: Larch in Five easy Pieces. Digital Research Center,
Palo Alto, CA (1985).
[4] Goguen, Winkler: Introducing OBJ3. SRI-CSL-88-9, SRI International,
Computer Science Laboratory, CA 94025 (1988).
--
Wolfgang Grieskamp
wg@opal.cs.tu-berlin.de tub!tubopal!wg wg%opal@DB0TUI11.BITNET