B
1. byte. 2. A systems language written by Ken Thompson in 1970 mostly for his own use under Unix on the PDP-11. B was later improved by Kerninghan(?) and Ritchie to produce C. B was used as the systems language on Honeywell' s GCOS-3. B was, according to Ken, greatly influenced by BCPL, but the name B had nothing to do with BCPL. B was in fact a revision of an earlier language, bon, named after Ken Thompson' s wife, Bonnie. ["The Programming Language B", S.C. Johnson & B.W. Kernighan, CS TR 8, Bell Labs (Jan 1973)]. [Features? Differences from C?] (1997-02-02) 3. A simple interactive programming language by Lambert Meertens and Steven Pemberton. B was the predecessor of ABC. . ["Draft Proposal for the B Language", Lambert Meertens, CWI, Amsterdam, 1981]. 4. A specification language by Jean-Raymond Abrial of B Core UK, Magdalen Centre, Oxford Science Park, Oxford OX4 4GA. B is related to Z and supports development of C code from specifications. B has been used in major safety-critical system specifications in Europe, and is currently attracting increasing interest in industry. It has robust, commercially available tool support for specification, design, proof and code generation. E-mail: . (1995-04-24) In addition suitable contents:
[ 2 ] [ = ] [ @ ] [ ABC ] [ ad ] [ af ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ av ] [ b ] [ BC ] [ BCPL ] [ be ] [ Bell ] [ Bell Labs ] [ bo ] [ bon ] [ br ] [ bs ] [ bus ] [ by ] [ byte ] [ C ] [ ca ] [ cat ] [ cc ] [ ch ] [ ci ] [ co ] [ code ] [ com ] [ COS ] [ CP ] [ CPL ] [ cr ] [ cu ] [ current ] [ CW ] [ CWI ] [ D ] [ de ] [ dec ] [ design ] [ development ] [ ding ] [ do ] [ DP ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ er ] [ era ] [ es ] [ et ] [ fact ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ G ] [ GA ] [ GC ] [ gd ] [ ge ] [ gen ] [ generation ] [ gh ] [ gn ] [ gr ] [ gu ] [ h ] [ hing ] [ hn ] [ hr ] [ id ] [ ie ] [ iff ] [ il ] [ in ] [ inc ] [ int ] [ interactive ] [ io ] [ is ] [ it ] [ J ] [ jo ] [ K ] [ Ken Thompson ] [ la ] [ language ] [ Lex ] [ li ] [ lu ] [ ly ] [ M ] [ ma ] [ mail ] [ ml ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ na ] [ named ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ nn ] [ no ] [ ns ] [ O ] [ om ] [ op ] [ OS ] [ Ox ] [ PD ] [ PDP ] [ PDP-11 ] [ pe ] [ ph ] [ pl ] [ pm ] [ port ] [ pr ] [ predecessor ] [ program ] [ programming ] [ programming language ] [ proof ] [ query ] [ rc ] [ re ] [ revision ] [ rl ] [ ro ] [ robust ] [ S ] [ sa ] [ safe ] [ safety ] [ safety-critical system ] [ se ] [ si ] [ sig ] [ so ] [ spec ] [ specification ] [ st ] [ su ] [ support ] [ sy ] [ system ] [ T ] [ tar ] [ tc ] [ th ] [ to ] [ tool ] [ tp ] [ tr ] [ tt ] [ ua ] [ uk ] [ up ] [ us ] [ va ] [ ve ] [ vi ] [ X ] [ yt ] [ Z ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (13879 Reads) |
