home *** CD-ROM | disk | FTP | other *** search
Text File | 1994-09-17 | 60.4 KB | 1,516 lines |
- Path: bloom-beacon.mit.edu!senator-bedfellow.mit.edu!faqserv
- From: Bob Hathaway <rjh@geodesic.com>
- Newsgroups: comp.object,comp.answers,news.answers
- Subject: Comp.Object FAQ Version 1.0.6 (9-15) Part 7/9
- Supersedes: <object-faq/part7_777166834@rtfm.mit.edu>
- Followup-To: comp.object
- Date: 17 Sep 1994 12:04:33 GMT
- Organization: Geodesic Systems
- Lines: 1496
- Approved: news-answers-request@MIT.Edu
- Expires: 31 Oct 1994 12:03:01 GMT
- Message-ID: <object-faq/part7_779803381@rtfm.mit.edu>
- References: <object-faq/part6_779803381@rtfm.mit.edu>
- NNTP-Posting-Host: bloom-picayune.mit.edu
- Summary: Frequently Asked Questions (FAQ) List and Available Systems For Object-Oriented Technology
- X-Last-Updated: 1994/09/15
- Originator: faqserv@bloom-picayune.MIT.EDU
- Xref: bloom-beacon.mit.edu comp.object:12656 comp.answers:7315 news.answers:25855
-
- Archive-name: object-faq/part7
- Last-Modified: 9/15/94
- Version: 1.0.6
-
- ObjectModeler
- -------------
- *Rumbaugh, Coad/Yourdon, Jacobson and Booch notation
- *multiple, concurrent user
- *generates SQL, C++, Smalltalk templates
- *Macintosh, Unix ($1,495¡5,995)
- Iconix Software Engineering
- 2800 28th St., Suite 320
- Santa Monica, CA 90405
- (310) 458-0092
-
- ObjecTool (was OOA/OODTool), Together/C++(new)
- -----------------------------------------------
- *Coad/Yourdon, Object-oriented analysis. ObjectTool (Startup tool)
- *Windows, OS/2, HP/Sun Unix.
- *Together/C++ (Windows only) Code/Design integration.
- Object International, Inc.
- 8140 N. MoPac Expwy
- Austin, Tx 78759-6535
- 800-926-9306
- (512) 795-0202
- (512) 795-0332 (fax)
-
- Objectory
- ---------
- *Jacobson notation.
- *Generates C++, CMM support.
- *Windows, Unix, 4 configurations, $5000.00 - $10000.00 (USD)
- Objective Systems SF AB
- Torshamnsgatan 39,
- Mail Box 1128, S-164 ss
- Kista
- Sweden
- support@os.se
-
- ObjectTeam (also Teamwork)
- --------------------------
- *Shlaer/Mellor, Rumbaugh (a "special edition" of Paradigm Plus)
- *SQL, ADA, Smalltalk, C, and C++ generation
- *VAX/VMS, Unix, OS/2, PC-DOS Rumbaugh: PC($4000)/Unix($8000),
- *SM: Unix (1 at a time)
- *Demo Tutorial, Eval copies. ATM example + others.
- Cadre Technologies, Inc
- 222 Richmond St.,
- Providence, RI
- (401) 351-5950
- (401) 455-6800 (fax)
-
- OEW (Object Engineering Workbench)
- ----------------------------------
- *Martin/Odell object diagrams
- *generates C++ (templates unless supplemented with C coded methods)
- *reverse engineers C++
- *Sun OS, PC Windows 3.x ($99-$2190)
- Innovative Software GmbH
- Niddastr. 66-68
- 6000 Frankfurt/M 1
- Germany
- +49 60 236 929
- +49 69 236930 (fax)
-
- OMW (Object Management Workbench)
- ---------------------------------
- *draws and executes from Martin/Odell diagrams
- *produces fully executable ANSI C environment
- *UI construction facilities, "object engine" for managing objects
- *AI "rule engine" for managing rules
- *interfaces with multiple databases
- *Unix; generated code runs on any ANSI C environment ($5,000-25,000)
- IntelliCorp
- 1975 El Camino Real West
- Mountain View, CA 94025
- (415) 965-5500
- (415) 965-5647 (fax)
-
- OMTool (see also StP/OMT)
- --------------------------
- *OMTool(tm) version 2.0 (Object Modeling Tool, Rumbaugh) PC-based graphical
- tool for OO analysis and design. graphical prep and editing of object models
- for systems, programs, databases using the OMT.
- *8MB mem/math coproc(16MB without), Windows 3.1, Mouse, Hard Disk with 4 MB of
- available disk space, 386 CPU, Video Graphics Adapter.
- *Price: $995.00 US.
- Martin Marietta Advanced Concepts Center
- 640 Freedom Business Center
- King of Prussia, PA 19406
- +1 (610) 992-6200,
- +1 800 438-7246,
- +1 (610) 992-6299 (FAX)
-
- OSMOSYS
- -------
- *OOA and OOD for OSMOSYS
- Winter Partners
- London Office: Zurich Office:
- West Wing, The Hop Exchange
- 24a Southwark Street Florastrasse 44
- London SE1 1TY CH-8008 Zurich
- England Switzerland
- Tel. +44-(0)71-357-7292 Tel. +41-(0)1-386-95 11
- Fax. +44-(0)71-357-6650 Fax. +41-(0)1-386-95 00
-
- Paradigm Plus
- -------------
- *CASE toolset supporting Booch(new), Coad/Yourdon, EVB, and others.
- *configurable meta-CASE tool
- *Rev eng code. Gen code templates. Incr code gen next release, year end.
- *Windows: Fixed/1 machine, $3995, maint $599. Floating/net $4995, maint $750.
- *Unix: $7770, $1155 maint. Multiple discounts.
- *Eval, Demo, 30 day eval copy.
- Protosoft
- 17629 El Camino Real 202
- Houston TX 77058
- 713 480 3233
- Fax 713 480 6606
-
- Prosa/om
- --------
- *Coad/Yourdon notation
- *Generates C++, SQL
- *Windows, OS/2, Motif
- Prosa Software
- Kirkkokato 5 B
- SF-90100 Oulu, FInland
- +358 (81) 376-128
- +358 (81) 371-754
-
- Ptech
- -----
- *Martin/Odell notation
- *modifiable meta-model
- *supports Martin/Odell notation, "data model is the database", C++ and Ontos
- or Objectivity code generation (fully executable code), formal foundation
- *Unix, ($5,000-25,000)
- Ptech, Inc.
- 200 Friberg Parkway
- Westborough, MA 01581 USA
- (508) 366-9166
-
- Rational Rose
- -------------
- *Booch notation OOA/D
- *generates C++
- *Unix, AIX ($749-5,249)
- *(PC version formerly sold by Palladio Software)
- Rational
- 3320 Scott Blvd.
- Santa Clara, Ca. 95054
- (408) 496-3700
- Also:
- *C++ Booch Components 1-800-767-3237 ext. 23
-
- S-CASE
- ------
- *Booch-93 notation
- *generates C++ headers and stubs
- *project management aids, multi-user
- *Windows, OSF/Motif, Open Look, Macintosh ($249-995)
- MultiQuest Corp
- 1699 E. Woodfield Rd Suite A-1
- Schaumburg, IL 60173
- (708) 240-5555, (708) 240-5556 (fax)
-
- Select OMT
- ----------
- *Rumbaugh notation
- *generates C++
- *Windows ($695)
- Select Software Tools, Ltd
- 1526 Brookhollow Dr.
- Santa Ana, CA 92705
- (714) 957-6633; (714) 957-6219
-
- SES/Objectbench
- ---------------
- *Shlaer/Mellor notation, supports GUI and database links editors, browsers,
- test utilities, and statistical analysis for simulation development.
- Emphasizes importance of model animation to functionally verify the analysis.
- *generates C++
- *Macintosh, MS-DOS, UNIX ($4,900 to $24,300)
- Software & Engineering Software (SES)
- 4301 Westbank Dr., Bldg A, Austin, TX 78746
- (512) 328-5544, (512) 327-6646 (fax)
-
- Stood
- -----
- *HOOD (version 3.1) notation, supports Ada, C, C++
- *Unix, RISC, X windows
- Techniques Nouvells d'Informatique
- Technopole Brest-Iroise
- ZI du Vernis, Case postale 1
- 29608 Brest Cedex, France
- +33 9 8052744, +33 9 849-4533 (fax)
-
- StP/OMT - Software through Pictures
- -----------------------------------
- *Member of StP family of integrated multi-user software development tools.
- Developed jointly by MM ACC and IDE. Open architecture, object- and system-
- level designs, reuses existing class structures to build applications.
- Stand-alone or part of OMT Success Packages which combines training,
- consulting, mentoring, and maintenance in addition to software. Shared
- repository, version control and locking, code and document generation.
- *StP/OMT runs on; AIX, DECstation, RS/6000, Sun OS, SPARCstation, HP 700/800,
- and Sun Solaris.
- *Price: $12,000.00 US
- Interactive Development Environments.
- 595 Market Street, 10th Floor
- San Francisco, CA 94105
- +1 (415) 543-0900,
- +1 800 888-4331
-
- System Architect
- ----------------
- *Booch, Coad/Yourdon, Shlaer-Mellor.
- *design portion specific to Smalltalk, Ada, Object Pascal, and C++
- *dialogues and menu management (Windows, C, C++), DB views (SQL, C++),
- other (C++)
- *Windows ($1395, single User), OS/2($1795, base).
- Popkin Software
- 11 Park Place
- New York, NY 10007
- (212) 571-3434
- (212) 571-2426 (fax)
-
- Toolbuilder
- -----------
- *many notation (IE, HOOD, SSADM, Shlaer-Mellor)
- *configurable meta-CASE tool
- *executable code generation of C, C++, Cobol, ADA (via enhanced design-level
- action diagrams) and Motif and Open Look
- *interfaces to Sybase, Oracle, Informix
- *Sun Sparc, Apollo, HP 9000, DECstation, RS6000 ($17,000)
- IPSYS Software
- 28 Green St.
- Newbury, MA 01951
- (508) 463-0006
- IPSYS Software plc
- Marlborough Court
- Pickford Street
- Macclefield, Cheshire
- SK11 6JD U. K.
- +44 (625) 616722
-
- TurboCASE
- ---------
- *ER diagrams and state charts
- *design portion supports class hierarchy, collaboration
- *Macintosh ($995)
- StructSoft
- 5416 156th Ave SE
- Bellevue, WA 98006
- 206-644-9834
-
- VIEWS-SF
- --------
- *supports VSF's extensive approach (including rules) some of which are based on other popular notations
- *C++ template generation, reverse engineerings
- *OS/2, Unix ($8,000¡$23,500)
- Virtual Software Factory, Inc
- 13873 Park Center Rd, #218
- Herndon, VA 22071
- (703) 318-1180
-
- ARTICLES, PRODUCTS, AND PAPERS ON CASE SYSTEMS
- ----------------------------------------------
-
- > "CASE Products 1990: A survey of CASE Products from US Vendors",
- Arbeitspapiere der GMD 518, March, 1991. Heinz W. Schmidt,
-
- Ovum Ltd
- 1 Mortimer Street
- London W1N 7RH
- England
- Tel: +44 71 255 2670
- Fax: +44 71 255 1995
-
- From: oil@idt.unit.no (Odd Ivar Lindland)
- Subject: Re: CASE Survey
- Organization: Norwegian Institute of Technology, University of Trondheim
- Date: Fri, 9 Jul 93 06:57:25 GMT
- >...
- A comprehensive survey of 35 commercial CASE tools is given in
- "Ovum evaluates: CASE products". It is from 1993 and is continuously updated.
- It has all the information you asked for. The bad thing is that it is very
- expensive ($1995 !!!). You should get a 40 % academic discount, however.
- Moreover, recently they had a "quick-answer discount" making the full price
- (before academic discount) $1295. Anyway, I believe it is good investment if you
- quickly want to have comprehensive information about the current CASE market.
- Particularly valuable is the comparative evaluation of the 35 products.
-
-
- > Proceedings of the Workshop on the Next Generation of CASE Tools (NGCT)
-
- From: sjbr@cs.utwente.nl (Sjaak Brinkkemper)
- Subject:
- Organization: University of Twente, Dept. of Computer Science
- Date: Fri, 9 Jul 1993 11:05:51 GMT
-
- The proceedings of the Fourth Workshop on the Next Generation of
- CASE Tools (NGCT'93) are available as a technical report from the
- Center for Telematics and Information Technology, University of
- Twente.
-
- Price: Nfl 45, US$ 25 (including shipping and money transfer)
-
- Order by sending a message including a POSTAL ADDRESS to:
- Sjaak Brinkkemper
- CTIT
- E-mail: sjbr@cs.utwente.nl
-
- *******************************************************
- * Proceedings of the Fourth Workshop on the *
- * Next Generation of CASE Tools *
- * Universite Paris 1 Sorbonne - 7/8 June 1993 *
- *******************************************************
-
- Editors: S. Brinkkemper and F. Harmsen
- Center for Telematics and Information Technology
- University of Twente
- the Netherlands
- 174 pages
-
- Abstract
-
- The Workshop on the Next Generation of CASE Tools (NGCT) is an
- annual event, bringing together leading researchers on Computer
- Aided Software Engineering (CASE). NGCT workshop is a pre-conference
- workshop of the annual Conference on Advanced Information Systems
- Engineering (CAiSE). The goal of this year's workshop, held in
- Paris, is to conduct an in-depth discussion of research approaches
- in the area of Computer Aided Software Engineering. Three main
- themes have been identified:
- * CASE architectures
- * Development process support
- * Advanced requirements engineering
- The workshop committee accepted fourteen papers, which are grouped
- in the proceedings according to these three themes. Among the topics
- of the papers are: multiparadigm specification for interoperable
- information systems, capturing design decisions, automated user
- interface derivation, deductive repositories, human error analysis,
- and business modeling.
-
-
-
- APPENDIX E ANONYMOUS FTP SITES
- ===============================
-
- These are anonymous ftp sites of interest to the OO community. Thanks go to
- Mike DeVaney (dm_devaney@pnl.gov gen ftp site list) and to Bill Kinnersley
- (billk@hawk.cs.ukans.edu, anon ftp programming languages list), whose initial
- lists helped to get things going. Additional short entries are encouraged;
- please send additions to the author of the FAQ (and/or to Mike and Bill).
-
- Entries will be standardized and summarized in future (non-draft) FAQs and are
- not limited to one category.
-
- Starred entries have a summary below and can be found as ">#" followed by the
- description. These entries will eventually be cleaned up.
-
- PROGRAMMING LANGUAGES
- ---------------------
-
- ajpo.sei.cmu.edu:/public/ada9x Ada-9x info, ARM
- cs.nyu.edu:pub/gnat/... *Ada-9x (compiler, GNU,50)
- ftp.inria.fr:lang/alcool *Alcool-90 (dyn ML,1)
- arjuna.ncl.ac.uk:/pub/Arjuna *Arjuna (Distr Prog System,2)
- munnari.oz.au:pub/bebop.tar.Z *BeBOP(seq,par,LP,OO,meta,46)
- sales@mjolner.dk BETA (Mjolner Informatics Demo)
- monch.edrc.cmu.edu:/usr0/snl/archive/bos-1.2 *BOS (prototyping,3)
- grape.ecs.clarkson.edu:/pub/msdos/djgpp/djgpp.zip C++ (for MS-DOS)
- prep.ai.mit.edu:/pub/gnu/gcc-2.4.5.tar.gz C++ (for Unix, & Objective-C)
- omnigate.clarkson.edu:/pub/msdos/djgpp *G++ for DOS (Many sites,4)
- tsbgw.isl.rdc.toshiba.co.jp:
- pub/toshiba/cooc-beta.1.1.tar.Z *cooC (Concurrent, OO C ext.,5)
- parcftp.xerox.com:pcl CLOS
- pion.lcs.mit.edu CLU (Sun, VAX)
- ftp.cs.cornell.edu:/pub/CML-0.9.tar.Z CML
- arisia.xerox.com Pcl (Portable CommonLoops)
- xcf.berkeley.edu:src/local/fmpl *FMPL (prototyping,6)
- nebula.cs.yale.edu Glasgow Haskell
- piggy.cs.chalmers.se Chalmers Haskell (hbc)
- software.watson.ibm.com Hermes (Unix)
- cs.arizona.edu Icon
- sun.soe.clarkson.edu ISETL (DOS, Mac, Unix, VMS,src)
- cs.orst.edu Little Smalltalk (C src)
- ftp.ircam.fr:/pub/IRCAM/programs *MAX (visual OO,7)
- 128.59.24.6 (MeldC@cs.columbia.edu) MeldC (Rflctv, prllel, OO lang)
- gatekeeper.dec.com Modula-3
- cs.uni-sb.de:/pub/osmall/machine *O'small (OO lang for teaching,8)
- obj3dist@csl.sri.com (license or request) *OBJ3 (OO lang,9)
- gate.fzi.de:/pub/OBST *OBST (lang, perst, OODB,10)
- prep.ai.mit.edu:/pub/gnu/gcc-2.4.5.tar.gz Objective-C (for Unix, & C++)
- 128.100.1.192:/pub/ootDistrib *OOT (OO Turing demo,11)
- neptune.inf.ethz.ch Oberon (MacII, SPARC, DECstn)
- wuarchive.wustl.edu:/mirrors/msdos/pgmutl/oberon11.zip Oberon (MS-DOS)
- ux1.cso.uiuc.edu:pub/amiga/fish/ff380 Oberon (Amiga)
- watserv1.waterloo.edu occam (VAX sim, Tahoe)
- wuarchive.wustl.edu:/mirrors/unix-c/languages/ops5 OPS5 (interpreter)
- wuarchive.wustl.edu:/mirrors/msdos/pli/runpli1a.arc PL/I (interpreter)
- watserv1.waterloo.edu Russell
- parcftp.xerox.com:pub/russell Russell
- ftp.icsi.berkeley.edu:pub/sather *Sather (was simple Eiffel,12)
- altdorf.ai.mit.edu: scm Scheme (small, portable)
- gatekeeper.dec.com: elk Scheme (for Suns)
- acorn.cs.brandeis.edu: gambit Scheme (for 68K's)
- otis.stanford.edu *Self (13)
- self.stanford.edu Self
- cs.nyu.edu SETL2 (DOS, OS/2, Mac, Unix)
- rascal.ics.utexas.edu SIMULA 67 (Mac)
- prep.ai.mit.edu:pub/gnu Smalltalk-80 (GNU v1.1)
- st.cs.uiuc.edu *Smalltalk V (38)
- cs.yale.edu:pub/ml SML/NJ
- research.att.com:dist/ml SML (Version 0.75)
- sbcs.sunysb.edu SML (lazy)
- gatekeeper.dec.com Modula-3 (SRC)
- ucbvax.berkeley.edu tcl
- ftp.cs.umu.se:/pub/umlexe01.zoo uML
-
- csd4.csd.uwm.edu:/pub/compilers/list Free Compilers/Interp's list
- primost.cs.wisc.edu: pub/comp.compilers/LanguageList* Bill Kinnersley's list
- idiom.berkeley.ca.us: pub/compilers-list/LanguageList*
- See also Knowledge Media cd-rom collection on Languages, entry 47.
-
-
- COMPILER TOOLS
- --------------
-
- prep.ai.mit.edu:pub/gnu/bison-1.14.tar.Z Yacc
- ftp.th-darmstadt.de:/pub/programming/languages/C++ *C++ gram, etc.,14
- [See also Free Compilers and Kinnersley's List above!]
-
-
- DATABASES (See also APPENDIX B)
- -------------------------------
-
- ftp.informatik.rwth-aachen.de:pub/CB *ConceptBase (OODB, reqkey,15)
- pippin.cs.monash.edu.au:pub/export/diamond-0.1.2.tar.Z *C++ OODB (16)
- wilma.cs.brown.edu/pub/encore.tar.Z Encore of Brown Univ
- ftp.cs.wisc.edu:exodus *Exodus (Storage Man, perst,17)
- ftp.informatik.rwth-aachen.de:/pub/unix/GRAS522_3 *GRAS (18)
- mood.mech.tohoku.ac.jp *MOOD (OODB, lim arch,19)
- src.doc.ic.ac.uk:/computing/databases MOOD/Postgres/OBST copies
- gate.fzi.de:/pub/obst *OBST/STONE(schema,prst obj,10)
- research.att.com *Ode (C++ OODB,20)
- postgres.berkeley.edu:pub *POSTGRES (Ext. Rel. DBMS,21)
- toe.CS.Berkeley.EDU:pub/postgres *POSTGRES,21
- cs.utexas.edu:pub/garbage/{swizz,texaspstore}.ps *The Texas Persistent Store,41
-
- See also idiom.berkeley.ca.us:pub/free-databases, object-oriented databases.
-
-
- TOOLS AND CASE
- --------------
-
- ftp.th-darmstadt.de:/pub/programming/languages/C++ *Cls bwsr,tmplates,GC,etc,14
- siam.unibe.ch:C++/Sniff1.6/ *Sniff (C++ devel environ,22)
- self.stanford.edu:/pub/sniff *Sniff,22
- ftp.centerline.com:/pub/tags-1.0.tar.Z *C++ tags, 23
- interviews.stanford.edu:/pub/3.1.tar.Z InterViews 3.1 (C/C++ browser)
- wsmr-simtel20.army.mil(192.88.110.20) OOTool (win31 directory?)
- ftp.informatik.uni-stuttgart.de:/pub/eiffel *Eiffel archive, 24
- ftp.informatik.uni-stuttgart.de:/pub/eiffel/eiffel-3/sig *short tool, 24
- ftp.cs.purdue.edu:/pub/gb/* *C++ Signatures (subtyping),40
-
-
- LIBRARIES AND INTERFACES
- ------------------------
-
- arjuna.ncl.ac.uk *C++SIM (Simula-like Sim Pkg,38)
- csc.ti.com:pub/COOL.tar.Z *COOL(C++, orig from TI,25)
- cs.utexas.edu:pub/COOL/GE_COOL2.1.tar.Z *COOL(C++, Cfront 2.1, from GE,25)
- omg.org:pub/NEC_DII/93-1-2... CORBA (DII)
- claude.ifi.unizh.ch:under pub/standards/spec CORBA Spec
- omg.org:pub/OMG_IDL_CFE_1.2/bin *idl.SunOS4.x, idl.Solaris2.x,26
- ftp.cica.indiana.edu:/pub/pc/win3/programr *MindFrame for Windows,54
- ftp.th-darmstadt.de:pub/programming/languages/C++ *NIHCL COOL OATH ET++,etc,14
- straylight.acs.ncsu.edu:/pub/ose *OSE C++lib,42
- watmsg.UWaterloo.ca:pub/uSystem *u++(C++ Trans. and Concry RTS,48)
-
-
- DOCUMENTATION AND INFO SERVERS
- ------------------------------
-
- ftp.ncsa.uiuc.edu:Web/xmosaic or info.cern.ch:pub/www *Browser for OO info,27
- ftp.th-darmstadt.de:/pub/programming/languages/C++ *C++ docs, code, net sums,14
- ftp.cm.cf.ac.uk:pub/Eiffel Eiffel FAQ
- zaphod.uchicago.edu:/pub/faq.8-25[.Z] OO FAQ (this document)
- http://cui_www.unige.ch/OSG/FAQ/OO-FAQ/ *OO FAQ(hypertext version),WWW,27
- http://cui_www.unige.ch/OSG/OOinfo/ *OO Information sources on WWW,27
- byron.sp.cs.cmu.edu:/usr/anon/OODBMS/evolution-summary OODB Schema Evol Summary
- byron.sp.cs.cmu.edu:/usr/anon/OODBMS/Manifesto.{PS,txt}.Z OODB Manifesto
-
-
- PAPERS
- ------
-
- ftp.cs.tcd.ie:/pub/tcd/tech-reports *Amadeus,persistence,62
- scslwide.sony.co.jp:pub/CSL-Papers *Apertos (MO Distr OS,28)
- sail.stanford.edu:pub/MT/93actors.ps.Z *Actors Paper (UIUC,29)
- biobio.cs.uiuc.edu:directory pub/papers *Actors Papers,29
- euagate.eua.ericsson.se:ftp/pub/eua/c++/rules.ps.Z *C++ coding standard,44
- self.stanford.edu:pub/papers/chambers-thesis *Chambers' Thesis,30
- choices.cs.uiuc.edu Choices OO OS
- ftp.chorus.fr:pub/chorus-reports *Chorus,Dist,RT,MicroK,63
- http://cui_www.unige.ch/Chloe/Oscar/home.html Concurrency Papers,WWW,27
- ftp.gte.com:pub/dom *Distrib Reports GTE,52
- ftp.ifi.unizh.ch: pub/techreports/electra.ps.Z Electra ORB, sec 3.8.6
- cs.utexas.edu:pub/garbage/gcsurvey.ps Garbage Collection,sec 3.9
- wilma.cs.brown.edu:/pub/gdbiblio.{tex,ps}.Z *graph drawing,31
- world.std.com:/pub/kala/TechDocs/Overview_Sun.ps,* *Kala Archive,45
- ftp.ccs.neu.edu:pub/demeter/documents *Law of Demeter,32
- ftp.cs.ualberta.ca:pub/oolog/state.ps.Z MUTABLE STATE OOPL SURVEY
- mushroom.cs.man.ac.uk:/pub/mushroom/papers *OO Dyn Grping, memory,33
- st.cs.uiuc.edu:/pub/papers OO Frameworks, R. Johnson
- cs.washington.edu:/pub/chambers/predicate-classes.ps.Z *Pred Classes (Cecil,34)
- ginger.cs.berkeley.edu/pub/raidPapers RAID Papers (Berkeley)
- sprite.(cs.)berkeley.edu:~ftp/pub/RAID-II RAID configs (Berkeley)
- ius4.ius.cs.cmu.edu:/usr/chimera/public/CMU_RI_TR_93_11.ps.Z *Real Time,49
- self.stanford.edu:pub/papers/ Self Papers
- vega.dur.ac.uk:/pub/papers/foot.dvi Testing OO (sect 3.11)
- townsend@mprgate.mpr.ca Testing OO (sect 3.11)
- ftp.parc.xerox.com:/pub/mops/traces.ps *Traces,kiczales,MOP,DI,43
- neptune.inf.ethz.ch: pub/issac93.ps.Z Types, Comp alg (Santas)
- cui.unige.ch:OO-articles U. Geneva OO Group papers
- research.microsoft.com:/pub/papers/vdg.ps *Value Dependence Graphs,57
- ftp.cs.utwente.nl:/pub/doc/TRESE *Various on OO,58
-
- The Postgres, OBST and Exodus sites also contain a good selection of papers.
-
-
-
-
-
- GENERAL
- -------
-
- ics.uci.edu:gnu/C++_wrappers.tar.Z *ACE Lib, C++ Networking,55
- scslwide.sony.co.jp:pub/CSL-Papers *Apertos(Meta-Obj Distr OS, research,28)
- euagate.eua.ericsson.se:ftp/pub/ *Archive site,C++,Coplien,papers,etc,44
- research.att.com:dist/drawdag/*.Z *Graph service,37
- parcftp.parc.xerox.com:/pub/ilu/ilu.html *ILU OMG CORBA,59
- netcom.com:/pub/softia/keobj.zip *KEOBJ, OO DSP micro-kernel,53
- ftp.th-darmstadt.de:/pub/programming/languages/C++ *lots for C++,14
- st.cs.uiuc.edu *Manchester Archive and some,35
- ftp.odi.com:/pub/oo7/results.ps *Object Design's OO7 Results,36
- ftp.gmd.de:gmd/peace Peace, OO parallel OS
- wuarchive.wustl.edu:languages/ada/crsware *Teaching OO Course Slides,51
- cs.orst.edu:pub/budd/oopintro/slides/* *Teaching Intro to OO Slides, T. Budd,56
- gatekeeper.dec.com:/pub/usenet/com.sources.unix/volume20/metrics *Metrics,61
-
-
- OTHER
- -----
-
- Knowledge Media *Big col. on cd-roms, lots of freeware,47
- Computer Select Database *commercial on cd-rom,39
- Walnut Creek *Internet Info CDROM, including FAQs,60
- godot.uvic.ca:/pub/oopsla-93 *OOPSLA-93 Info
-
-
- DESCRIPTIONS
- ------------
-
- >1 Alcool-90 (dyn ML)
-
- What: Alcool-90 Release 0.40.3
- From: rouaix@inria.fr (Francois Rouaix)
- Date: 18 May 92 09:36:22 GMT
-
- Alcool-90 is an experimental extension of ML with run-time overloading and
- a type-based notion of modules, functors and inheritance.
-
- New constructs have been added:
- * Overloaded symbols (overload).
- * Local definition of abstract values (overload in).
- * Implementations and parametric functors (pack to).
- * Extension functors (overload with).
- * Class-based Dynamics (dynamic).
-
- This version of Alcool is based on the CAML Light implementation (release
- 0.4) of the ML language, but this release is autonomous.
-
- Alcool-90 is available by anonymous FTP from ftp.inria.fr:
-
- host: ftp.inria.fr (128.93.1.26)
- directory: lang/alcool
- files:
- README Copyright information.
- alcool270492.tar.Z Sources for Un*x machines (Apr 27 1992 Release).
- alcooldoc.dvi.tar.Z DVI for the Alcool-90 report draft.
-
- For questions, comments, bug reports, please e-mail to Francois.Rouaix@inria.fr
-
-
- >2 Arjuna (Distr Prog System)
-
- What: Release 2 of Arjuna Distributed Programming System
- From: arjuna@newcastle.ac.uk (Arjuna Project)
- Date: Mon, 17 May 1993 12:37:34 GMT
-
- We are pleased to announce the availability of a new version
- of Arjuna: a programming system for reliable distributed computing,
- and the Arjuna mailing list.
-
- The software and the manual for the Arjuna system can be
- obtained by anonymous ftp: arjuna.ncl.ac.uk (128.240.150.1)
-
- Arjuna System
-
- This beta release of ArjunaPR2.0 fixes all known bugs present
- in ArjunaPR1.2B that have been reported to us or that we have found,
- and contains only minimal information about how to use the new features
- provided. This release should be compilable with the following
- compilers:
-
- AT&T Cfront Release 2.1, on SunOS 4.1.x,
- (using Sun supplied lex and yacc).
- AT&T Cfront Release 3.0.1, on SunOS 4.1.x and Solaris 2.1,
- (using Sun supplied lex and yacc).
- GCC versions 2.1, 2.2.2, on SunOS 4.1.x,
- (using flex(v2.3.x) and bison).
- Patched GCC version 2.3.3 on SunOS 4.1.x and Solaris 2.1,
- (using flex(v2.3.x) and bison).
- Sun C++ 2.1, on SunOs 4.1.x,
- (using Sun's lex++ and yacc++).
- HP C++ (B2402 A.02.34), HP-UX 8.07,
- (using HP supplied lex and yacc or lex++ and yacc++).
-
- The major new features are:
-
- - Faster object store.
- - Support for replicated objects.
- - Memory resident object store.
- - Support for ANSAware (not available via ftp)
-
- Arjuna supports nested atomic actions (atomic transactions) for
- controlling operations on objects (instances of C++ classes), which can
- potentially be persistent. Arjuna has been implemented in C++ to run on
- stock platforms (Unix on SUNs, HPs etc). The software available
- includes a C++ stub generator which hides much of the details of
- client-server based programming, plus a system programmer's manual
- containing details of how to install Arjuna and use it to build
- fault-tolerant distributed applications. The software and the manual
- can be obtained by anonymous ftp: arjuna.ncl.ac.uk (128.240.150.1)
-
- Several enhancements and ports on various distributed
- computing platforms are in progress. We would be pleased to hear from
- researchers and teachers interested in using Arjuna. The programmer's
- manual contains the e-mail addresses for sending your comments and
- problem reports.
-
- ANSAware version of Arjuna
-
- The ANSAware version of Arjuna is available from:
-
- Architecture Projects Management Limited
- Poseidon House
- Castle Park Phone +44 223 323010
- Cambridge Fax +44 223 359779
- CB3 0RD Internet apm@ansa.co.uk
- United Kingdom UUCP ...uknet!ansa!apm
-
- Arjuna Mailing List
-
- To enable us to help people using Arjuna, an electronic mail list has
- been setup. You can join the Arjuna mailing list by sending an e-mail
- message to "mailbase@mailbase.ac.uk" containing:
-
- join arjuna <Your Name>
-
- For example : join arjuna John Smith
-
- Mail messages can then be sent to "arjuna@mailbase.ac.uk", for
- distribution.
-
-
- Arjuna Project Team
- The Department of Computing Science,
- The University,
- Newcastle upon Tyne.
- NE1 7RU, UK.
-
- Fax: +44 91 222 8232
- e-mail: arjuna@newcastle.ac.uk
- anonymous ftp: arjuna.ncl.ac.uk (128.240.150.1)
-
- EMAIL = arjuna@newcastle.ac.uk
- POST = Computing Laboratory, The University, Newcastle upon Tyne, UK NE1 7RU
- VOICE = +44 91 222 8067 FAX = +44-91-222-8232
-
- Subject: Arjuna papers announcement
- Date: Tue, 8 Jun 1993 16:47:02 GMT
-
- This is to announce the availability of most Arjuna related papers and
- theses via anonymous ftp from arjuna.ncl.ac.uk. These papers are
- available in both US Letter and European A4 standards in postscript and
- should now print on systems. Any problems in printing should be directed to
- arjuna@newcastle.ac.uk.
-
- Since there are too many papers to describe in one posting there is an index
- available in /pub/Arjuna/Index which contains the abstracts from all of
- the papers/theses and their locations within the ftp hierarchy.
-
-
- >3 BOS (prototyping)
-
- What: BOS
- From: Sean.Levy@cs.cmu.edu
- Date: 23 Apr 92 18:07:32 GMT
-
- [For readers of comp.object and self-interest, BOS is a prototype-based
- object system that I have, er, prototyped in Tcl. It is available via anon
- FTP to monch.edrc.cmu.edu under /usr0/snl/archive/bos-1.2.tar.Z (you have to
- cd to /usr0/snl/archive first and then get the file, due to CMU security hacks
- in ftpd). I thought that this would be of interest to comp.object and
- self-interest, so I'm cross-posting/mailing --S]
-
- Note: I play very fast and loose with the terminology of OOP to get my
- point across. I apologize if I offend any sensibilities, and will clarify what
- I say if it is obfuscated by my use of terms.
-
-
- >4 G++ for DOS (Many sites)
-
- :From: DJ Delorie <dj@ctron.com>
- :Newsgroups: gnu.announce,gnu.misc.discuss
-
- : DJGPP 1.10 is now available!
- :
- :
- : --- DJGPP - G++ for MSDOS/386 ---
-
- :djgpp is normally uploaded to:
- : omnigate.clarkson.edu 128.153.4.2 pub/msdos/djgpp
- : math.utexas.edu 128.83.133.215 pub/msdos/djgpp(*)
- : ftp.uni-koeln.de 134.95.128.208
- : msdos/gnuprogs/djgpp (*)
- : ftp.eb.ele.tue.nl 131.155.40.15
- : pub/pc/gnu/gcc-pl* & gcc-newst
- : wowbagger.pc-labor.uni-bremen.de 134.102.228.9 pub/msdos/djgpp
- : src.doc.ic.ac.uk 146.169.2.1 ibmpc/djgpp
- : ftp.mcc.ac.uk 130.88.200.7 pub/djgpp
- : UK.AC.MCC.FTPJ (JANET) user<guest> <PUB>djgpp
-
- :(*) Please do not access during working hours (7am - 6pm their local time)
-
-
- >5 cooC (Concurrent, OO C ext.)
-
- From: maeda@isl.rdc.toshiba.co.jp (Ken-ichi Maeda)
- Subject: cooC FTP release (2nd posting)
- Date: 2 Jul 93 15:13:11
- Organization: TOSHIBA R & D Center, Kawasaki, JAPAN.
-
- We are pleased to announce the release of new object oriented
- language based on C. The language has support for concurrent object
- execution with synchronous or asynchronous message pssaing and wait when
- necessary reply handling. The language known as cooC (concurrent object
- oriented C) is available by anonymous FTP for research purposes.
-
- FTP Site: tsbgw.isl.rdc.toshiba.co.jp (133.196.1.11)
- File: pub/toshiba/cooc-beta.1.1.tar.Z
-
- The released version of cooC employs SunOS(TM) LWP (light weight
- process), to obtain concurrent execution. The release consists of the
- language translator (cooC->C), a runtime library (SunOS(TM)), a
- concurrent object based debbuger, an example groupware application
- (SharedDraw) and some technical papers.
-
- BECAUSE THE SYSTEM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY FOR
- ANY PART OF THE SYSTEM.
-
- TOSHIBA Corporation while making cooC free for research, retains
- copyright.
-
- For further detail, please refer to COPYRIGHT notice in the
- package.
-
- Any questions and/or comments are welcome at the following
- e-mail address.
-
- cooc@isl.rdc.toshiba.co.jp
-
- --
- --------------------------------------------------------------------
- Ken-ichi Maeda <maeda@isl.rdc.toshiba.co.jp>
- Communication and Information Systems Research Lab. II
- TOSHIBA Research & Development Center
- 1, Komukai Toshiba-cho, Saiwai-ku, Kawasaki 210, JAPAN
- TEL. (+81- or 0)44-549-2237 FAX. (+81- or 0)44-520-1841
- --------------------------------------------------------------------
-
-
- >6 FMPL (prototyping)
-
- What: Interpreter for FMPL of Accardi, Release 1
- From: blojo@xcf.berkeley.edu (Jon Blow)
- Date: 2 Jun 92 08:42:26 GMT
-
- An interpreter for FMPL of Accardi, Release 1 is now available for ftp at
- xcf.berkeley.edu:src/local/fmpl/.
-
- *FMPL is a prototype-based object-oriented programming language.
- *FMPL possesses lambda-calculus based constructs.
- *FMPL is an event-driven language; the events it responds to are mainly
- based on the behavior of input/output streams, not only within the unix domain
- but across the internet as well.
- *FMPL supports "pretty"-printing of internally-represented code back into
- readable form.
- *FMPL is an experimental language developed at the Experimental Computing
- Facility of the University of California, Berkeley. This release is something
- of a beta test since the language has not been widely used outside Berkeley.
- It is hoped that this release will draw useful comments and suggestions from
- the world at large that will help in improving future versions of FMPL.
-
-
- >7 MAX (visual OO)
-
- From: fingerhu@ircam.fr (Michel Fingerhut)
- Subject: IRCAM DSP software for DEC/ALPHA and DEC/MIPS
- Organization: Inst. de Recherche et Coordination Acoustique/Musique, Paris
- Date: Fri, 13 Aug 93 11:25:23 GMT
-
- ftp.ircam.fr:/pub/IRCAM/programs contains some of the IRCAM-developed
- software packages (in demo version; see further down for availability
- of the fully functional versions), including runnable binaries for
- both the DEC/ALPHA (osf1) and DEC/MIPS (ultrix) architectures, and soon
- available on other platforms (SGI and Macintosh).
-
- MAX
-
- MAX is a visual, object-oriented, programming language, initially
- designed for interactive musical performance, but which is suitable for
- digital signal processing as well as real-time control. It allows
- interconnecting of oscillators and filters, building custom controller
- modules and simulation units all from a core collection of signal
- processing objects.
-
- First developed by Miller Puckette at IRCAM in late 1986 to control
- the IRCAM 4X, it was later implemented on the Apple Macintosh as a
- graphical programming environment for MIDI applications. This version
- has been extended by the Opcode company in Palo Alto, CA (USA), and is
- available through them.
-
- The Alpha version (and its demo-only subset) is based on the NeXT
- version, where it is used to control the IRCAM-designed ISPW board.
- This card, based on two Intel i860 microprocessors, handles
- numerically-intensive real-time operations.
-
- To date, it has been extensively used in live performance of
- full-length musical compositions (see some references in the MAX/doc
- directory), as well as in scientific and experimental applications
- requiring real-time control.
-
- SVP
-
- SVP (``Super Vocodeur de Phase'') is a signal processing tool which was
- designed and developed at IRCAM by Gilles Poirot and Philippe
- Depalle. It is a full system for the analysis and synthesis of sound,
- whose core is a phase vocoder, and which comprises several modules for
- analysis (FFT, LPC..), filtering (band modes, surface modes...), time-
- scaling, mixing, spectral combination, cross-synthesis and
- amplification, which can be combined in multiple ways.
-
- UDI
-
- UDI is a library of C routines which provides a coherent software
- approach for developing and maintaining digital signal processing
- algorithms on stand-alone workstations or on host/array processor
- configuration. Initially designed for sound signal analysis and
- synthesis, it can be used by any application which does vector math
- calculation.
-
- It provides functions ranging from elementary vector and matrix
- operations to more specific DSP operations, such as, but not limited
- to, FFT, least-square, linear prediction coding, discrete cepstrum and
- pitch detection.
-
- UDI was actually used in implementing SVP.
-
- HOW TO RETRIEVE
-
- The following example contains underlined text. If it does not print
- nicely, use your favorite editor in order to remove all occurrences of
- "^H_" (control-H followed by underscore).
-
- Connect via ftp to ftp.ircam.fr. Engage into the following dialog (the
- underlined text is the reply you should provide
-
- 220 ftp FTP server (Version 6.17 Thu Mar 11 08:30:51 MET 1993) ready.
- Name (ftp:host): f_t_p_ (or: a_n_o_n_y_m_o_u_s_)
- Passwd: l_o_g_i_n_@_y_o_u_r_m_a_c_h_i_n_e_ (see NOTE further down)
- 230-...
- 230-(informational messages, please read!)
- 230-...
- ftp> c_d_ _p_u_b_/_I_R_C_A_M_/_p_r_o_g_r_a_m_s_
- 250 CWD command successful.
- ftp> g_e_t_ _R_E_A_D_M_E_
- 200 PORT command successful.
- 150 Opening ASCII mode data connection for README (nnn bytes).
- 226 Transfer complete.
- local: README remote: README
- nnn bytes received in mmm seconds (xxx Kbytes/s)
- ftp> b_i_n_
- 200 Type set to I.
- ftp> g_e_t_ _s_v_p_._t_a_r_._g_z_ (or u_d_i_._t_a_r_._g_z_ or m_a_x_._t_a_r_._g_z_)
- ...
- ftp> q_u_i_t_
-
- NOTE
-
- The ftp server requires you to give as password something of the form
- l_o_g_i_n_@_h_o_s_t_
- where l_o_g_i_n_ is your login name (or account name, or user information)
- and h_o_s_t_ is the fully-qualified name of the machine you are currently calling
- from, which is not necessarily the one on which you get your mail. If you
- mistype it, the ftp server will advise you with an informative error message.
-
- AVAILABILITY
-
- For information on availability of these and other IRCAM tools with
- full functionality and documentation, and/or licensing of source code,
- as well as IRCAM publications (technical/scientific reports) please contact
- (in french or english, preferably):
-
- Mr. Vincent Puig
- Directeur de la Valorisation
- IRCAM
- 31, rue Saint-Merri
- F-75004 Paris, France
-
- email: puig@ircam.fr
- FAX: +33 1 42 77 29 47
-
- Additional info can be found in the README file in the above directory.
-
- REPORTING PROBLEMS AND GETTING HELP
-
- ... in retrieving the software and/or in running it: please send email to
-
- manager@ircam.fr
-
-
-
- >8 O'small (OO lang for teaching)
-
- From: hense@sol.cs.uni-sb.de (Andreas Hense)
- Subject: *** NEW O'small compiler available by ftp !!! ***
- Date: 25 Jun 1993 13:54:35 GMT
- Organization: Universitaet des Saarlandes,Rechenzentrum
-
- O'small - THE object-oriented language for teaching
- ---------------------------------------------------
- (Announcement of a new compiler)
-
- *** An object-oriented language for teaching?
-
- Depending on which aspects of object-orientation you want to convey you
- may choose your teaching language. If you want to teach the aspect of
- software reuse and nice graphical user interfaces, you should choose
- Smalltalk. If you want to show students how to program in a best
- selling language you should choose C++.
-
-
- *** In which case should I choose O'small?
-
- You should consider O'small if you believe that computer languages
- should have a GOOD FORMAL SEMANTICS. Everyone will agree that a
- language needs a formal semantics. Otherwise, your program will yield
- different results on different implementations. A good formal
- semantics does not only serve the purpose of precisely defining what
- the results of your programs are, it also gives insights about the
- nature of the language.
-
- You should consider O'small if you do not want to waste time on
- unnecessary details. O'small is CONCISE. Its syntax and semantics
- takes no more than one page (if you choose the right font). Its syntax
- is similar to more traditional languages. O'small has been used in a
- lecture showing the differences between wrapper semantics
- (denotational) and method lookup semantics (operational).
-
- O'small is FREE! Up to now, there has only been an O'small interpreter
- written in Miranda [Hen91b]. This interpreter is directly based on the
- denotational semantics of O'small [Hen91d]. The interpreter itself is
- available by ftp. However, you need Miranda in order to run it. Now,
- there is a NEW IMPLEMENTATION of O'small based entirely on EASILY
- AVAILABLE SOFTWARE. This software is not free but it does not cost
- anything. The new implementation is based on an abstract machine [Boe93].
-
- You can MODIFY the language and have your students make experiments
- with it. The source code of the abstract machine and the
- specifications for the parser and scanner generators are available.
- Using these generators you can make experiments for your own research
- in statical analysis of object-oriented languages.
-
-
- *** I would like to TRY O'small
-
- You get the implementation by anonymous internet ftp.
- The following table gives the ftp connection information.
-
- Host: Net Address: Directory:
- -------------------------------------------------------------
- cs.uni-sb.de 134.96.7.254 /pub/osmall/machine
-
- The directory /pub/osmall/machine contains the files
- README
- ANNOUNCE this file
- HowToGetML
- oma.1.00.tar.Z compressed tar-file
-
-
- ***************************************************************************
- NOTE: Ftp should be put into binary mode before transferring the compressed
- tar file.
- ***************************************************************************
-
- Here is a sample dialog:
-
- ftp
- ftp> open cs.uni-sb.de
- Name: anonymous
- Password: <your name>
- ftp> binary
- ftp> cd /pub/osmall/machine
- ftp> get README
- ftp> get ANNOUNCE
- ( ftp> get HowToGetML )
- ftp> get oma.1.00.tar.Z
- ftp> close
- ftp> quit
-
- If you have a Sun 4 or a SPARC you can use the existing executable files.
- Otherwise, you need 'sml-yacc', 'sml-lex' and 'sml-noshare'. Read
- 'HowToGetML' to obtain them.
-
- Instructions on using the machine are contained in the file README.
-
- References
-
- [Boe93] Christoph Boeschen. Christmas - An abstract machine for
- O'small. Master's thesis, Universit"at des Saarlandes,
- Fachbereich 14, June 1993.
-
- [Hen91b] Andreas V. Hense. An O'small interpreter based on denotational
- semantics. Technical Report A 07/91, Universit"at des Saarlandes,
- Fachbereich 14, November 1991.
-
- [Hen91c] Andreas V. Hense. Type inference for O'small. Technical Report A
- 06/91, Universit"at des Saarlandes, Fachbereich 14, October 1991.
-
- [Hen91d] Andreas V. Hense. Wrapper semantics of an object-oriented pro-
- gramming language with state. In T. Ito and A. R. Meyer, editors,
- Theoretical Aspects of Computer Software, volume 526 of Lecture No-
- tes in Computer Science, pages 548-568. Springer-Verlag, September
- 1991.
-
- [Hen93] Andreas V. Hense. Denotational semantics of an object-oriented
- programming language with explicit wrappers. Formal Aspects of
- Computing, 5(3), 1993. to appear.
-
- [HS92] Andreas V. Hense and Gert Smolka. A verification of extensible
- record types. In Zhongzhi Shi, editor, Proceedings of the IFIP
- TC12/WG12.3 International Workshop on Automated Reasoning,
- pages 137-164, Beijing, P.R. China, 13-16 July 1992. Internatio-
- nal Federation for Information Processing, Elsevier, North-Holland,
- Excerpta Medica.
-
- [HS93] Andreas V. Hense and Gert Smolka. Principal types for object-
- oriented languages. Technical Report A 02/93, Universit"at des Saar-
- landes, Fachbereich 14, June 1993.
-
-
- >9 OBJ3 (OO lang)
-
- What: Release 2.0 of OBJ3 (needed for FOOPS and OOZE, concurrent OOP)
- Date: Thu, 4 Jun 92 15:07:26 BST
- From: Paulo.Borba@prg.oxford.ac.uk
-
- OBJ is available from SRI, see the message below; prototypes implementations of
- FOOPS (without the concurrent extension) and OOZE are due to the end of the
- year, but for both you also need OBJ.
-
- Unfortunately, I don't have any document about the FOOPS extension now, but
- probably by the end of the year. I will send it to you as soon as possible.
-
-
- What: Release 2.0 of OBJ3 is now available
- From: winkler@csl.sri.com (Timothy Winkler)
- Date: 6 Apr 92 08:35:40 GMT
-
- Release 2.0 of OBJ3 is now available!
-
- Improvements in this version include some language extensions and additional
- theorem proving features. In addition, an effort has been made to speed up
- the implementation; rewriting is often twice as fast as in the original
- implementation. We are including the AKCL patches from the University of
- Texas at Austin in the distribution, which are necessary for maintaining the
- portability of OBJ3 and also improve its efficiency. In addition, we are
- distributing a SPARC version of OBJ3.
-
- OBJ3 has pattern matching modulo associativity, commutativity, and identity.
- New: the system automatically computes conditions for rules involving matching
- modulo identity that are used to prevent obvious non-termination problems.
-
- Also new to this version of OBJ3 is a facility for controlled rewriting. This
- provides substantially increased support for the use of the system for
- equational theorem proving.
-
- To receive the OBJ3 distribution tape or an OBJ3 license, send a request
- to:
-
- Judith Burgess (OBJ3)
- Computer Science Laboratory
- SRI International
- 333 Ravenswood Ave.
- Menlo Park, CA 94025-3493, USA
-
- Telephone: (415) 859-5924
- Fax: (415) 859-2844
- email: obj3dist@csl.sri.com
-
- Be sure to give us your postal mailing address. Then we will send you the
- OBJ3 Information Form, and License Agreement, with instructions on how to
- fill them out. (A KCL license form will also be included.) When you return
- them to us, appropriately filled out and signed, we will send you the tape,
- somedocumentation, and, in case you are requesting a tape, an invoice for
- $150.00 plus any required taxes.
-
- If you already have an OBJ3 license, then you don't need to get a new license,
- but, if you are requesting a tape from SRI, you are asked to pay the above
- distribution fee.
-
- It is also possible to get a license for OBJ3 at no charge from SRI and then
- get the OBJ3 distribution itself from some third party also having a license.
-
- Jose Meseguer, Timothy Winkler, and Patrick Lincoln
- Computer Science Laboratory
- SRI International
- 333 Ravenswood Avenue
- Menlo Park, California 94025, USA
-
- Joseph Goguen
- Programming Research Group
- Computing Laboratory
- Oxford University
- 11 Keble Road
- Oxford OX1 3QD, United Kingdom
-
-
- >10 OBST (lang, perst, OODB)
-
- What: OBST (Version: OBST3-2)
- From: stone@fzi.de
- Date: 19/3/92
-
- [ Formerly, we used the acronym SOS, which led to a conflict
- with an object oriented operating system of the same name.
- Therefore we changed the name to OBST ("Obst" is the German
- word for "fruit"). As many people already use SOS (OBST) we
- did not change internal things like class names, environment
- variables and so on. ]
-
- The persistent object management system OBST was developed by
- Forschungszentrum Informatik (FZI) as a contribution to the STONE
- project. This project (supported by grant no. ITS8902A7 from the
- BMFT, i.e. the German Ministry for Research) aims at the development
- of a software engineering environment for education purposes and is
- carried out as a joint project of nine german universities and
- research institutions.
-
- An essential feature of STONE is that the object oriented paradigm
- is pursued consequently as a key concept. OBST is the common persistent
- object store for all tools within the STONE environment.
-
- The OBST data model can be characterized by the following properties:
-
- * Schema definition language syntactically similar to C++
- * Support of multiple inheritance
- * Generic classes
- * Distinction between public, protected, and private methods
- * Redefinition of methods
- * Overloading of methods
-
- Schemas are compiled by the OBST schema compiler. The compilation
- results are instances of classes of the meta schema. From these
- instances in a next step interfaces to different programming languages
- can be generated. At present the C++ language binding is implemented,
- interfaces to Lisp and other languages are planned.
-
- Objects are stored in so-called containers. The container an object
- belongs to is determined at the time of object creation and fixed
- throughout the object's lifetime. Containers are the units of
- clustering, synchronization, and recovery. Objects can be referenced
- by other objects across container boundaries.
-
- OBST provides a mechanism to incrementally load methods. This enables
- programs to deal with objects whose type is defined after the program
- itself has been developed. This is useful in systems that provide for
- inheritance and it supports schema evolution.
-
- Since end 1990 the first prototype of OBST is available and is shipped
- to interested universities and research institutions.
-
- The system comes with the schema compiler, a library of predefined
- classes, a graphical object browser, the structurer and flattener and the
- OShell, and all
- manuals.
-
- Structurer and Flattener is a tool to build objects from bytestrings and
- flatten objects down to bytestrings. It is intended to be used when coupling
- UNIX tools to the object management system. The user defines a grammar
- that describes her objects. Afterwards, the structurer parses an ascii
- text according to the given grammar and creates an OBST object structure that
- represents the corresponding parse tree. The flattener does the inverse
- transformation, that means it generates an ascii text from a given OBST object
- structure according to the given grammar.
-
- OShell is a tool which provides interactive access to the OBST object base.
- There is a language called OSL which is based on the lambda calculus and
- defines the interface to the OShell tool.
-
- For the prototype's installation a C++ compiler (GNU g++ 1.37 or later or AT&T
- 2.0/2.1) and the X-Windows system (currently X11R4) for the graphical tools
- are required. Installation is well-tried on SUN 3/* and SUN 4/* systems and
- should be no problem on other UNIX machines, too.
-
- --------------------------------------------------------------------
- For more information please mail to:
- Forschungszentrum Informatik (FZI)
- STONE Projekt
- Haid-und-Neu-Strasse 10-14
- D-7500 Karlsruhe 1
- Germany
- or email to: stone@fzi.de
-
- Phone: ++49-721-9654-601
- Fax: ++49-721-9654-609
- Teletex: 721 190 fziKA
-
- The OBST system is available via anonymous FTP from gate.fzi.de
- [141.21.4.3]. The system can be found in the directory /pub/OBST.
-
- Sites interested in getting information about new OBST developments
- are welcome to register in our mailing list by sending an email with
- subject "obst-mailing-list" to stone@fzi.de.
-
-
- >11 OOT (OO Turing demo)
-
- What: OOT
- From: holt@turing.toronto.edu (Ric Holt)
- Date: 26 Apr 93 20:14:43 GMT
-
- OBJECT ORIENTED TURING: DEMO AVAILABLE VIA FTP
-
- OOT (Object Oriented Turing) is a programming language that has been
- developed at the University of Toronto. An OOT demo, which includes the
- fully implemented language, is available for Sun/4's running X windows.
- See below for instructions to copy the demo to your site.
-
- OOT supports the standard OOPL features of information hiding, classes,
- polymorphism and generics, as well as the usual features in C and Pascal
- style languages. It also supports concurrency, exception handling
- and system programming (pointer arithmetic, bit manipulation, etc).
-
- The OOT environment is designed for teaching Computer Science.
- It is being used in introductory programming courses, courses
- on OO concepts, compiler courses, OS courses, etc.
-
- The OOT environment is fully integrated, with multi-window editing, turbo
- speed compiler, integrated color graphics, GUI user interface, implicit MAKE,
- on-line manual, integrated demos, etc. The system includes an experimental
- CASE tool with an interface browser and a visual system browser.
-
-
- >12 Sather (simple Eiffel)
-
- What: SATHER
-
- Sather is under development at the International Computer Science Institute.
- Sather has clean and simple syntax, parameterized classes, object-oriented
- dispatch, multiple inheritance, strong typing, and garbage collection. The
- compiler generates efficient and portable C code which is easily integrated
- with existing code.
-
- The initial beta test release of the language was in May, 1991. The compiler,
- debugger, Emacs development environment, documentation, and library classes
- are available by anonymous ftp from "icsi-ftp.berkeley.edu".
- "sather@icsi.berkeley.edu" is a mailing list for discussing aspects of Sather
- and "sather-admin@icsi.berkeley.edu" should be used for bug reports and
- requests to be added or deleted from the mailing list.
-
- Sather is based on Eiffel but is more concerned with efficiency and less with
- some of the formal and theoretical issues addressed by Eiffel. The language is
- much smaller than the current Eiffel, it eliminates over 40 keywords and
- simplifies the syntax and inheritance rules.
-
- Like Eiffel, Sather code is compiled into portable C and efficiently links
- with existing C code. The Sather compiler is written in Sather and has been
- operational for almost a year, though it is still being improved. Preliminary
- benchmarks show a performance improvement over Eiffel of between a factor of 4
- and 50 on basic dispatching and function calls. On the benchmarks used at
- Stanford to test Self (including 8 queens, towers of hanoi, bubblesort, etc),
- Sather is even slightly faster than C++.
-
- The Sather compiler and libraries are publicly available under a very
- unrestrictive license aimed at encouraging contribution to the public library
- without precluding the use of Sather for proprietary projects. The goal is to
- establish a repository for efficient, reusable, well written, publicly
- available, classes for most of the important algorithms in computer science.
- There are currently about 120 classes in the library. The libraries are
- growing quickly and will collect together classes from many authors under the
- same unrestrictive license.
-
- A GNU emacs development environment for Sather is available. A debugger based
- on gdb from the Free Software Foundation is also available. A parallel version
- of Sather for shared memory machines called "Psather" is also under
- development.
-
- From the Sather FAQ, August 16, 1993 (See Section 1.24):
-
- Q 1: What is Sather?
- ~~~~~~~~~~~~~~
- Sather is an object oriented language which aims to be simple,
- efficient, interactive, safe, and non-proprietary. It aims to meet the
- needs of modern research groups and to foster the development of a
- large, freely available, high-quality library of efficient
- well-written classes for a wide variety of computational tasks. It was
- originally based on Eiffel but now incorporates ideas and approaches
- from several languages. One way of placing it in the "space of
- languages" is to say that it attempts to be as efficient as C, C++, or
- Fortran, as elegant and safe as Eiffel or CLU, and to support
- interactive programming and higher-order functions as well as Common
- Lisp, Scheme, or Smalltalk.
-
- Sather has garbage collection, statically-checked strong typing,
- multiple inheritance, separate implementation and type inheritance,
- parameterized classes, dynamic dispatch, iteration abstraction,
- higher-order routines and iters, exception handling, assertions,
- preconditions, postconditions, and class invariants. The development
- environment integrates an interpreter, a debugger, and a
- compiler. Sather code can be compiled into C code and can efficiently
- link with C object files.
-
-
- >13 Self
-
- From: hoelzle@Xenon.Stanford.EDU (Urs Hoelzle)
- Subject: Announcing Self 3.0
- Date: 28 Dec 93 22:19:34 GMT
-
- ANNOUNCING Self 3.0
-
- The Self Group at Sun Microsystems Laboratories, Inc., and Stanford
- University is pleased to announce Release 3.0 of the experimental
- object-oriented programming language Self.
-
- This release provides simple installation, and starts up with an
- interactive, animated tutorial.
-
- Designed for expressive power and malleability, Self combines a pure,
- prototype-based object model with uniform access to state and
- behavior. Unlike other languages, Self allows objects to inherit state
- and to change their patterns of inheritance dynamically. Self's
- customizing compiler can generate very efficient code compared to
- other dynamically-typed object-oriented languages.
-
- The latest release is more mature than the earlier releases: more
- Self code has been written, debugging is easier, multiprocessing is more
- robust, and more has been added to the experimental graphical user interface
- which can now be used to develop code. There is now a mechanism
- (still under development) for saving objects in modules, and a
- source-level profiler.
-
- The Self system is the result of an ongoing research project and
- therefore is an experimental system. We believe, however, that the
- system is stable enough to be used by a larger community, giving
- people outside of the project a chance to explore Self.
-
- 2 This Release
-
- This release is available free of charge and can be obtained via
- anonymous ftp from Self.stanford.edu. Also available for ftp are a
- number of published papers about Self.
-
- There is a mail group for those interested in random ramblings about Self,
- Self-interest@Self.stanford.edu. Send mail to self-request@self.stanford.edu
- to be added to it (please do not send such requests to the mailing list
- itself!).
-
- 2.1 Implementation Status
-
- Self currently runs on SPARC-based Sun workstations running SunOS 4.1.x
- or Solaris 2.3. The Sun-3 implementation is no longer provided.
-
- 2.2 Major Changes
-
- Below is a list of changes and enhancements that have been made since
- the last release (2.0.1). Only the major changes are included.
-
- o The graphical browser has been extended to include editing
- capabilities. All programming tasks may now be performed through the
- graphical user interface (the "ui"). Type-ins allow for expression
- evaluation, menus support slot editing, and methods can be entered and
- edited. If you are familiar with a previous version of the Self
- system, Section 14.1 of the manual entitled "How to Use Self 3.0"
- contains a quick introduction to the graphical user interface. The
- impatient might want to read that first.
-
- o A mechanism - the transporter - has been added to allow arbitrary
- object graphs to be saved into files as Self source. The system has
- been completely modularized to use the transporter; every item of
- source now resides in a transporter-generated
- module. Transport-generated files have the suffix .sm to distinguish
- them from "handwritten" files (.Self), though this may change as we
- move away from handwritten source. The transporter is usable but rough,
- we are still working on it.
-
- o Every slot or object may now have an annotation describing the
- purpose of the slot. In the current system, annotations are strings
- used to categorize slots. We no longer categorize slots using
- explicit category parent objects. Extra syntax is provided to annotate
- objects and slots.
-
- o A new profiler has been added, which can properly account for the
- time spent in different processes and the run-time system, and which
- presents a source-level profile including type information (i.e.,
- methods inherited by different objects are not amalgamated in the
- profile, nor are calls to the same method from different sites). It
- also presents a consistent source-level view, abstracting from the
- various compiler optimizations (such as inlining) which may confuse
- the programmer.
-
- o Privacy is not enforced, although the privacy syntax is still
- accepted. The previous scheme was at once too restrictive (in that
- there was no notion of "friend" objects) and too lax (too many object
- had access to a private slot). We hope to include a better scheme in
- the next release.
-
- o The "new" compiler has been supplanted by the SIC ("simple inlining
- compiler"), and the standard configuration of the system is to
- compile first with a fast non-optimizing compiler and to
- recompile later with the SIC. Pauses due to compilation or
- recompilation are much smaller, and applications usually run faster.
-
- o Characters are now single-byte strings. There is no separate
- character traits.
-
- o Prioritized inheritance has been removed; the programmer must now
- manually resolve conflicts. We found the priority mechanism of
- limited use, and had the potential for obscure errors.
-
- 2.4 Bug Reports
-
- Bug reports can be sent to self-bugs@self.stanford.edu. Please include
- an exact description of the problem and a short Self program
- reproducing the bug.
-
- 2.5 Documentation
-
- This release comes with two manuals:
- How to Use Self 3.0 (SelfUserMan.ps)
- The Self Programmer's Reference Manual (progRef.ps)
-
- Happy Holidays!
-
- -- The Self Group
-
-
- >14 C++ gram, etc.
-
- What: ftp site for C++ material
- From: schrod@iti.informatik.th-darmstadt.de (Joachim Schrod)
- Date: 27 May 92 22:32:35 GMT
-
- There were a lot of questions about C++ material in the last time and some
- announcements which involved our ftp server.
- ftp.th-darmstadt.de [130.83.55.75]
- /pub/programming/languages/C++
- At the moment we have:
- -- documentation and assorted stuff
- C++ products list as announced by Saumen K Dutta (in a subdirectory!)
- C++ YACC grammar, ET++ tutorial, summaries from the Net,
- sources from James Coplien's book (idioms...), etc.
- -- class libraries
- NIHCL (original, persistent for ObjectStore, with g++ 1.4x changes)
- COOL, OATH, RogueWave vector, ET++,
- RPC package, a package for sockets, awe (thread package)
- -- tools
- class browser (for GNU Emacs), indent++, yacc+, template
- processor of Brad Cox[sp?], DEC garbage collector
-