2500 search results - page 119 / 500 » Logical Semantics of Modularisation |
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
163
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
200
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
181
Voted
LICS
2009
IEEE
16 years 29 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
322
click to vote
FCSC
2011
14 years 9 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...