H ? « »

Language peer sets for LIM:


alternate simple view

for Language of the Included Miracle

text processing language from Digital SRC

from the SRC page
"LIM is a text processing language in the general family of lex, yacc, sed, awk, and trans, but is based on Dijkstra's calculus of guarded commands. The name is an acronym for Language of the Included Miracle, because LIM programs can violate the so-called Law of the Excluded Miracle. For details see "A Discipline of Programming", Edsger W. Dijkstra, Prentice-Hall, 1976, and "A generalization of Dijkstra's calculus", Greg Nelson, Trans. on Programming Languages and Systems, October 1989, or SRC Research Report 16.

A LIM command may be guarded by a predicate. The command is said to fail if the predicate is false when the command is executed. The main novelty in LIM is that failing commands never have side effects. If a long computation has side effects and then fails, it is as though the side effects never happened. This property of the language makes it easy to write parsers and pretty-printers, since they require the ability to speculatively perform some action. In fact, the LIM distribution includes a pretty-printer for the LIM language that is itself written in LIM. "

Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder