ELAN: A logical framework based on computational systems (1996) [79 citations — 7 self]
Download:
|
|
by Claude Kirchner, Pierre-etienne Moreau, Marian Vittek
ftp://ftp.loria.fr/pub/loria/protheo/COMMUNICATIONS_1996/elan-rwlg1996.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Kirchner96elan:a,author = {Claude Kirchner and Pierre-etienne Moreau and Marian Vittek},
title = {ELAN: A logical framework based on computational systems},
booktitle = {},
year = {1996},
publisher = {Elsevier}
}
Years of Citing Articles
Abstract:
ELAN implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as nondeterministic rule based processes. We present the general features of the language
Citations
| 7 | Toward the concurrent implementation of computational systems – Alouini, Kirchner - 1996 |
| 6 | Concurrent garbage collection for concurrent rewriting – Alouini - 1995 |
