3440 search results - page 221 / 688 » Logics For Context-Free Languages |
193
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
185
click to vote
ISSTA
2004
ACM
16 years 18 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
215
click to vote
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
266
click to vote
ADVIS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
186
click to vote
ASWC
2006
Springer
15 years 11 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...