Newsgroups: comp.object
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!wuarchive!zaphod.mps.ohio-state.edu!rpi!image.soe.clarkson.edu!news
From: cline@cheetah.ece.clarkson.edu (Marshall Cline)
Subject: Re: How to use Inheritance instead
Message-ID: <CLINE.90Aug15172501@cheetah.ece.clarkson.edu>
Reply-to: cline@sun.soe.clarkson.edu (Marshall Cline)
In-reply-to: johnson@m.cs.uiuc.edu's message of 13 Aug 90 15:24:00 GMT
Sender: news@sun.soe.clarkson.edu
Organization: (I don't speak for the) ECE Dept, Clarkson Univ, Potsdam, NY
References: <5456@stpstn.UUCP> <77500053@m.cs.uiuc.edu>
Date: 15 Aug 90 21:28:18 GMT
Lines:       40

In article <77500053@m.cs.uiuc.edu> johnson@m.cs.uiuc.edu writes:
>However, I am
>interested in enhancing [Typed ST] so that more can be said about a program.
>In particular, I think that Brad's example with stacks (if I push 1,2,3
>on an instance of class Stack, pop should return 3,2,1) is the sort of
>thing that should be done statically.

Doug Lea and I are working on just such a system (semantic information
encoded into a class, static inference on this `behavioral' information,
etc).  The idea is to do as much static testing as possible (given the
constraints of whatever inference engine you buy at the corner store),
and generate runtime tests on cases that are ``too hard''.  Naturally
there will be many of these.  The goal, however, is to provide a system
where the source code is flexible, and where static analysis will check
your work (presumably finding some errors).

Our scheme is called A++ (for ``Annotated C++'').  We're presenting a
paper on it at this year's Symposium On Object-Oriented Programming
Emphasizing Practical Applications (SOOPPA -- pronounce it like a Long
Islander would say ``super'').

Marshall Cline

PS: SOOPPA is Sept 14-15, Marist College, Poughkeepsie, NY.
I suspect you can get admission etc from:
   James Ten Eyck, General Chairperson
   Marist College
   82 North Road
   Poughkeepsie, NY 12601
   (914) 471-3240 x 601
   Email: jzbv@maristb.bitnet
--
==============================================================================
Marshall Cline / Asst.Prof / ECE Dept / Clarkson Univ / Potsdam, NY 13676
cline@sun.soe.clarkson.edu / Bitnet:BH0W@CLUTX / uunet!clutx.clarkson.edu!bh0w
Voice: 315-268-3868 / Secretary: 315-268-6511 / FAX: 315-268-7600
Career search in progress; ECE faculty; research oriented; will send vita.
PS: If your company is interested in on-site C++/OOD training, drop me a line!
==============================================================================
