H ? « ‹ ← → › »

Language peer sets for LIM:

LIM(ID:3711/lim001)

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. "

Resources

Source at SRC

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