Article View: comp.specification
Article #429A Larch style interface language for Smalltalk-80
From: Gary Leavens
Date: Tue, 28 May 1991 20:40
Date: Tue, 28 May 1991 20:40
28 lines
1602 bytes
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
Technical Details
Message-ID:
<leavens.675463208@bambam.cs.iastate.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!hobbes.physics.uiowa.edu!news.iastate.edu!leavensShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!hobbes.physics.uiowa.edu!news.iastate.edu!leavens From: leavens@cs.iastate.edu (Gary Leavens) Newsgroups: comp.specification Subject: A Larch style interface language for Smalltalk-80 Summary: Larch/Smalltalk interface langauge informal definition will be availabl Keywords: Larch, interface specification, smalltalk, object-oriented Message-ID: <leavens.675463208@bambam.cs.iastate.edu> Date: 28 May 91 20:40:08 GMT Sender: news@news.iastate.edu (USENET News System) Organization: Iowa State University, Ames IA Lines: 28