1746 search results - page 266 / 350 » A Constructive Semantics for ALC |
WWW
2002
ACM
16 years 1 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
198
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
183
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
180
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
CADE
2001
Springer
16 years 29 days ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...