A Larch style interface language for Smalltalk-80

Thread View: comp.specification

1 messages

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

1 total messages Started by Gary Leavens Tue, 28 May 1991 20:40

#429

Author: Gary Leavens
Date: Tue, 28 May 1991 20:40

28 lines
1602 bytes

A student of mine, Yoonsik Cheon, has completed a Master's thesis
that describes the design of a model-oriented interface specification
langauge for Smalltalk:

@MastersThesis{Cheon91,
  Key = 	"Cheon",
  Author = 	"Yoonsik Cheon",
  Title = 	"Larch/Smalltalk: A Specification Language for Smalltalk",
  School = 	"Iowa State University",
  Year = 	1991,
  Address = 	"Ames, Iowa",
  Annote = 	"40 references."
}

We will soon be making this into a technical report.  If you would
like a copy, drop me (or Yoonsik) a line at leavens@cs.iastate.edu
(or cheon@cs.iastate.edu).

	The design of Larch/Smalltalk does not include a formal
sementics for the specifications yet.  However, there is a nice
type browser and trait browser written in smalltalk that has been
implemented to help test the ideas.

	Gary Leavens
--
	229 Atanasoff Hall, Department of Computer Science
	Iowa State University, Ames, Iowa 50011-1040, USA
	phone: (515) 294-1580

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