1588 search results - page 275 / 318 » On the Logic of Constitutive Rules |
APAL
2007
15 years 1 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
111
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
115
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
125
click to vote
WADT
2004
Springer
15 years 6 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a speciļ¬cation formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...