1054 search results - page 115 / 211 » A Logic Language of Granular Computing |
122
click to vote
BIRTHDAY
1992
Springer
15 years 7 months ago
1992
Springer
A context-free grammar is a single-tree grammar (STG) if every nonterminal symbol has at most one production rule whose right hand side contains nonterminal symbols. Various prope...
154
click to vote
WCFLP
2005
ACM
15 years 9 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
130
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
134
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
144
Voted
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...