2236 search results - page 126 / 448 » Language Independence and Language Tolerance in Logic Progra... |
204
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
172
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
152
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
171
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
155
click to vote
CLIMA
2007
15 years 7 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...