1613 search results - page 245 / 323 » Functional and Constraint Logic Programming |
124
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
136
Voted
CDES
2008
15 years 4 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
141
Voted
APAL
2008
15 years 3 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
129
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
129
click to vote
ICCD
2003
IEEE
16 years 9 days ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...