منابع مشابه
Modularity , and Rewriting Logic
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...
متن کاملSemantics, modularity, and rewriting logic
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...
متن کاملModularity in Logic Programming
The research on modular logic programming has evolved along two different directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals have instead concentrated on the proble...
متن کاملModularity in Logic
> The research on modular logic programming has evolved along two diierent directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals have instead concentrated on the probl...
متن کاملDistribution and Modularity in Nonmonotonic Logic Programming
In the recent years, there has been a trend towards considering computation in a distributed setting, due to the fact that increasingly not only data is linked via media such as the internet, but also computational entities which process and exchange data and knowledge. This leads to the formation of (possibly complex) systems of interlinked entities, based on possibly heterogenous formalisms, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1989
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635079