Los puntos clave no están disponibles para este artículo en este momento.
Dos paradigmas principales en los lenguajes de programación de computadoras son la programación imperativa y la programación declarativa. Los autores describen un esquema para lenguajes que integran características específicas de estos dos paradigmas en un nuevo marco: la programación imperativa con restricciones. Los autores discuten el diseño y la implementación de una instancia particular de este marco, Kaleidoscope'90. Desde el paradigma imperativo, la programación imperativa con restricciones adopta un flujo de control explícito, estado y asignación. Desde el paradigma declarativo, adopta restricciones explícitas, mantenidas por el sistema (relaciones que deben cumplirse). Hay una fuerte motivación práctica para hacer esta integración: en una aplicación típica, algunas porciones se describen más claramente utilizando constructos imperativos, mientras que otras porciones se describen más claramente utilizando restricciones. Al usar un lenguaje imperativo con restricciones, se puede utilizar el paradigma más adecuado, según corresponda.
Freeman‐Benson et al. (Thu,) estudiaron esta cuestión.