4257 search results - page 105 / 852 » The Logical Modularity of Programs |
152
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
79
Voted
COLING
1994
15 years 4 months ago
1994
A logic formalism is presented which increases the expressive power of the ID/LP format of GPSG by enlarging the inventory of ordering relations and extending the domain of their ...
116
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...
113
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...
140
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...