1814 search results - page 244 / 363 » Extended First-Order Logic |
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
TLDI
2009
ACM
15 years 7 months ago
2009
ACM
We propose a dependent type theory that integrates programming, speciļ¬cations, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...