2540 search results - page 297 / 508 » Abstract Logics as Dialgebras |
101
Voted
WADT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
96
Voted
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
121
Voted
MSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...
105
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
105
Voted
TLDI
2003
ACM
15 years 6 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...