3595 search results - page 328 / 719 » Roles of Program Extension |
181
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
152
click to vote
ICESS
2007
Springer
16 years 28 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
200
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
178
click to vote
APLAS
2006
ACM
16 years 23 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
166
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce an extension of the Parikh mapping called the Parikh ¢ -matrix mapping, which takes its values in matrices with polynomial entries. The morphism constructed represent...