3468 search results - page 31 / 694 » An open logical framework |
IWOMP
2007
Springer
14 years 5 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
AIL
2008
13 years 11 months ago
2008
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P
WETICE
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
ICFP
2010
ACM
14 years 22 hour ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
WECWIS
2009
IEEE
14 years 5 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...