2291 search results - page 225 / 459 » Logic Programming and Model Checking |
129
click to vote
TCAD
2008
15 years 3 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
118
click to vote
IAJIT
2008
15 years 3 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
112
click to vote
ESWS
2006
Springer
15 years 7 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
116
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
116
click to vote
IJCAI
1993
15 years 4 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...