Return to Bproject CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / new / B / doc

Annotation of 43BSDTahoe/new/B/doc/Bproject, revision 1.1

1.1     ! root        1: # Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984.
        !             2: 
        !             3: ================================================================
        !             4: =          The B programming language and environment.         =
        !             5: ================================================================
        !             6: 
        !             7: Authors:       Frank van Dijk
        !             8:                Leo Geurts
        !             9:                Timo Krijnen
        !            10:                Lambert Meertens
        !            11:                Steven Pemberton
        !            12:                Guido van Rossum
        !            13: 
        !            14:                Centrum voor Wiskunde en Informatica
        !            15:                Department of Computer Science
        !            16:                POB 4079
        !            17:                1900 AB  Amsterdam
        !            18:                The Netherlands
        !            19: 
        !            20: Net address:   ...{decvax,philabs}!mcvax!timo
        !            21: 
        !            22: Description:
        !            23: 
        !            24: B is a new programming language and environment for personal computing
        !            25: being designed and implemented at the CWI.
        !            26: We have tried to combine attractive features in existing systems
        !            27: with some ideas of our own.
        !            28: 
        !            29: Some of the good points of B programming language proper are:
        !            30:  * a powerful collection of only five different data types
        !            31:    that may easily be combined;
        !            32:  * strong typing, yet without declarations;
        !            33:  * no limitations, apart from sheer exhaustion of memory;
        !            34:  * refinements to support top-down programming;
        !            35:  * nesting by indentation.
        !            36: 
        !            37: Some of the good points of the B environment are:
        !            38:  * no need for files; units (procedures and functions) and global
        !            39:    variables remain after logging out;
        !            40:  * one consistent face is shown to the user at all times,
        !            41:    whether she executes commands, edits units, or enters input to
        !            42:    a program;
        !            43:  * generalized undo mechanism.
        !            44: 
        !            45: The Mark 1 distribution is a full implementation of the language, with
        !            46: a small environment that includes a B dedicated editor front-end to the
        !            47: interpreter, variables that survive logging out, and independently
        !            48: editable program units.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.