2858 search results - page 268 / 572 » Logics with Aggregate Operators |
201
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
161
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
181
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
172
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
190
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...