BLISS is a system programming language developed at Carnegie Mellon University by W. A. Wulf, D. B. Russell, and A. N. Habermann around 1970. It was perhaps the best known systems programming language right up until C made its debut a few years later. Since then, C took off and BLISS faded into obscurity. When C was in its infancy, a few projects within Bell Labs were debating the merits of BLISS vs. C.
The name is variously said to be short for "Basic Language for Implementation of System Software" or "System Software Implementation Language, Backwards". It was at times called "Bill's Language for Implementing System Software", after Bill Wulf.
DEC developed and maintained BLISS compilers for the PDP-10, PDP-11, VAX, DEC PRISM, MIPS, DEC Alpha, and Intel IA-32, The language didn't become popular among customers and few had the compiler, but DEC used it heavily in-house into the 1980s; most of the utility programmes for the VMS operating system were written in BLISS-32. After its acquisition of DEC, Compaq developed and maintained a BLISS compiler for Intel IA-64.
BLISS has a large number of of the features of additional modern high-level languages. It has block structure, an automatic stack, and mechanisms for defining and calling recursive routines ... provides a variety of predefined data structures and ... facilities for testing and iteration ...
On the additional hand, BLISS omits certain features of additional high-level languages. It doesn't have built-in facilities for input/output, because a system-software project usually develops its own input/output or builds on basic monitor I/O or screen management services ... it permits access to machine-specific features, because system software often requires this. BLISS has characteristics that are unusual among high-level languages. A name ... is uniformly interpreted as the address of that segment rather than the value of the segment ... Also, BLISS is an "expression language" rather than a "statement language".This means that every construct of the language that isn't a declaration is an expression. Expressions produce a value as well as possibly causing an action such as modification of storage, transfer of control, or execution of a programme loop. For example, the counterpart of an assignment "statement" in BLISS is, strictly speaking, an expression that itself has a value. The value of an expression can be either used or discarded in BLISS ... Finally, BLISS includes a macro facility that provides a level of capability usually found only in macro-assemblers.— Bliss Language Manual, Digital Equipment Corporation (1987)
The BLISS language has the following characteristics:
- All constants are full word for the machine being used, e.g. on a 16-bit machine such as the PDP-11, a constant is 16 bits; on a VAX computer, constants are 32 bits, and on a PDP-10, a constant is 36 bits.
- A reference to a variable is always to the address of that variable. For example, the instruction
Z+8refers to adding 8 to the address of Z, not to its value. If one needs to add 8 to the value of Z, one must prefix the variable with a period; so one would type
.Z+8to perform this function, which adds 8 to the contents of Z.
- Assignment is done with the standard
Z=8– which says to create a full-word constant containing 8, and store it in the location whose address corresponds to that of Z. So, you can do something like
12+Z=14) which places the constant 14 into the address which is 12 words more than the address of Z. (This is considered bad practice.)
- Block statements are similar to those of ALGOL: a block is started with a
BEGINstatement and terminated with
END. As with ALGOL, statements are terminated with the semicolon (";"). When a value is computed, it is saved until the next statement terminator – which means that a value can be computed, assigned to a variable, and carried forward to the next statement, if desired. Alternatively, an open parenthesis might be used to start a block, with the close parenthesis used to close the block. When parentheses are included in an expression, the standard precedence rules are used, in which parenthesized expressions are computed first,
- Conditional execution uses the
IFexpression, which tests a true-false condition, performs alternative actions, and returns a result.
- Comparison uses keywords such as
EQLfor equality (as opposed to overloading the = symbol for the same purpose),
GTRfor Greater Than, and
NEQfor not equal. For example, the following code will assign the absolute value of Z to the address indicated by Q:
Q = (IF .Z GTR 0 THEN .Z ELSE -.Z);
- Identifiers (variables and constants) must be declared before use, typically using the
OWNkeyword. Declaring a variable normally causes the compiler to allocate space for it; when necessary, a variable might be assigned a fixed machine address via the
BINDdeclaration. This feature is primarily used for accessing either machine registers or certain special addresses.
- Subroutines in the language are called routines, and are declared with the keyword
- Macros, which allow for text substitution, are declared with the keyword
- The language supports arrays, which are referred to as structures, and declared with the keyword
- The language supports a few high-level programming constructs such as
- Alternative execution paths via the
- Looping through use of the
INCRexpression, which is similar to ALGOL's FOR statement
- Built-in string functions
- Certain automatic data conversions (number to string, etc.)
- Alternative execution paths via the
The following example is taken verbatim from the Bliss Language Manual:
MODULE E1 (MAIN = CTRL) =BEGINFORWARD ROUTINE CTRL, STEP;ROUTINE CTRL =!+! This routine inputs a value, operates on it, and! then outputs the result.!- BEGIN EXTERNAL ROUTINE GETNUM, ! Input a number from terminal PUTNUM; ! Output a number to terminal LOCAL X, ! Storage for input value Y; ! Storage for output value GETNUM(X); Y = STEP(.X); PUTNUM(.Y) END;ROUTINE STEP(A) =!+! This routine adds 1 to the given value.!- (.A+1);ENDELUDOM
- BLISS-11 - a cross compiler for the PDP-11
- BLISS-16C - DEC version of BLISS-11
- Common BLISS - portable subset