BLISS es un lenguaje de programación de sistemas desarrollado en la Universidad Carnegie Mellon (CMU) hacia 1970 por W. A. Wulf, D. B. Russell y A. N. Habermann. Se considera uno de los lenguajes de sistemas más relevantes de su época, hasta la aparición de C pocos años después, idioma que lo desplazó y provocó su progresiva caída en el olvido.
El lenguaje se distingue por ser sin tipos (typeless), estar basado en bloques y estructurarse en torno a expresiones en lugar de sentencias. Incorpora mecanismos para el manejo de excepciones, corrutinas y macros, y carece de la instrucción goto. Su nombre se ha interpretado de distintas formas, aunque Wulf aclaró en una historia oral de 2015 que el acrónimo nació como "Bill's Language for Implementing System Software".
El compilador original de CMU fue pionero por su uso intensivo de optimizaciones y dio lugar al libro de referencia "The Design of an Optimizing Compiler". Digital Equipment Corporation (DEC) desarrolló y mantuvo compiladores BLISS para arquitecturas como PDP-10, PDP-11, VAX, DEC PRISM, MIPS, DEC Alpha e Intel IA-32. Aunque el lenguaje no gozó de aceptación entre los clientes y pocos disponían del compilador, DEC lo empleó de forma intensiva internamente hasta la década de 1980: la mayor parte de las utilidades del sistema operativo OpenVMS se escribieron en BLISS-32. El compilador BLISS de DEC se portó posteriormente a IA-64 y x86-64, siendo este último el que utiliza LLVM como backend en lugar del antiguo GEM propietario.
BLISS comparte con los lenguajes de alto nivel características como estructura de bloques, pila automática y soporte para rutinas recursivas, pero omite funcionalidades de entrada y salida incorporadas, lo que refuerza su orientación como lenguaje de sistemas.