B
Get flash to fully experience Pearltrees
Boogie is an intermediate verification language, intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers for Dafny, Chalice, and Spec#. A previous version of the language was called BoogiePL. The current language (version 2) is currently known as just Boogie, which is also the name of the verification tool that takes Boogie programs as input. The Boogie research project is being developed primarily in the RiSE group at Microsoft Research in Redmond.
Boogie: An Intermediate Verification Language - Microsoft Research
For Apple Computers A Macintosh version is being distributed free of charge for non-commercial use by the UC Berkeley School of Education. Berkeley Boxer runs in MacOS 9 and below.
unnamed pearl
Borneo Language Homepage
Borneo may be on the right track for Java. --Guy Steele New Models for Numerical Computing in the Java Programming Language Java Grande - ISCOPE 2001 Conference , June 3, 2001 Borneo is a dialect of the Java language designed to have true support for the IEEE 754 floating point standard. Abstract
今、人気が 今、ほんとに世間でも詳しい人達の間では、かなり囁かれているし、もうほとんどその勢いが出てきていて、色んな人に伝わり始めていることがあるんですけど、それっていうのは、ほんとにどういったことなのか。。。 自分でもかなり思う事っていうのは、なかなか面白いんですけど、これって結構説明しづらいなぁーと思ったりしちゃうわけです（笑） それっていうのは、一体何かと言うと、そうですね・・・不動産に関することなんですけど、まぁ不動産の売買っていうのは、元々ものすごい行なわれていることでしょう？？ だから不動産の売買なんですけど、ちょっとその売買するものが今までの不動産業界では、新しいことというか、今までそれほどフィーチャーされずにここにきて一気に需要があるものなんですよ・・・ それは借地権なんです・・・皆さん借地権をご存知でしょうか？？
Blassic: The classic Basic
BRiX : info
BRiX is a new operating system that redefines how operating systems should be designed. Like conventional operating systems, it will provide features such as SMP, preemptive multi-threading, virtual memory, a secure multi-user environment and an easy to use graphical interface. BRiX is not a conventional operating system and some of its new features include: Small, fast and responsive -- There is no reason why operating systems should be bloated, slow and unresponsive. Features should be split among several smaller and reusable packages to avoid single large packages that require each feature to be reimplemented in another similar package.
Business Shell (Bush) - PegaSoft Canada
<HR> BUSH Details: <HR> The Business Shell has been renamed to SparForte. For the latest version of BUSH, see the SparForte Home Page . Screenshot: BUSH script (in TIA IDE) Bush is easy to learn.
BeeBasic is an embeddable basic interpreter that can greatly extend your application's capabilities. It is a C++ library that adds object-oriented basic script to your application. With BeeBasic you can call your application's functions and manipulate your application's objects from script. The main idea when creating BeeBasic was to minimize code lines needed to add it to your application.
BeeBasic embeddable scripting language
Biferno is also a "HTML-embedded" language. Scripts can be written in pure Biferno language, but can also contain HTML code segments between Biferno code blocks. The Biferno code is always delimited by special tags that allow separation from the rest of the code (HTML or whatever). The following tags can be used to delimit a Biferno script: The alternative opening tag <?biferno is necessary when integrating Biferno and XML code, or when using certain HTML development tools that are compatible with embedded scripting languages.
Biferno
Version 1.3 released (2009-12-17) BOIL is a simple C-like interpreter-language for Linux that was developed by netEstate in 1998 for special purposes. It was released free of charges under the GPL. Although we still maintain the code, we do not recommend using BOIL for new projects. There are better alternatives like python.
The BOIL interpreter language
The Mjølner System: BETA Language
BETA is developed within the Scandinavian School of object- orientation, where the first object-oriented language, Simula, was developed. BETA is a modern language in the Simula tradition. The resulting language is smaller than Simula in spite of being considerably more expressive. BETA is a strongly typed language like Simula, Eiffel and C++, with most type checking being carried out at compile-time.Martin Richards
email: mr@cl.cam.ac.uk . I am also a Fellow of St Johns College . My speaking voice sounds like this . Here is a fun Java applet: Damongo Sundial . Shortcuts to the main packagesComponent Pascal Language Report by Oberon microsystems, Inc., 2001. What's New in Component Pascal? by Oberon microsystems, Inc., 2001. Component Software – „Beyond Object-Oriented Programming“ by Clemens Szyperski, Dominik Gruntz & Stephan Murer, Addison-Wesley 2002 (2nd Edition). Computing Fundamentals – „The Theory and Practice of Software Design with BlackBox Component Builder“ by Stanley Warford, Vieweg 2002.
microsystems AG BlackBox
BASIC
Postioning elements at the centre of a web page An old chestnut, often solved by using a table. If you, your client or your employer object to such unnatural practices you have to use css or (just say no) javascript. There are various dodges around, this one extends them with a bit of a cheat:
Nick James | Notes
version 1.0.1 This is the first "real" batch file OS there is. Of course, it is nearly impossible to make a real OS in Batch, but you can certainly make a batch file program that makes the best use of Windows.