342 search results - page 23 / 69 » Coalgebraic Symbolic Semantics |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
ACL
2010
13 years 7 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
GLVLSI
2000
IEEE
14 years 2 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...