2409 search results - page 109 / 482 » Logical systems for structured specifications |
149
click to vote
ICLP
1992
Springer
15 years 10 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
155
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
174
Voted
CSL
2003
Springer
15 years 11 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
162
click to vote
SIMPRA
2008
15 years 5 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
184
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...