506 search results - page 42 / 102 » Proving Properties about Lists Using Containers |
ESWS
2011
Springer
14 years 1 months ago
2011
Springer
There is an assumption that ontology developers will use a top-down approach by using a foundational ontology, because it purportedly speeds up ontology development and improves qu...
AIML
2006
14 years 11 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
CHI
1998
ACM
15 years 2 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
101
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...