1746 search results - page 208 / 350 » A Constructive Semantics for ALC |
73
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...
99
Voted
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
150
Voted
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Ontology mapping is the key to data interoperability in the semantic web vision. Computing mappings is the first step to applications such as query rewriting, instance sharing, we...
101
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
104
click to vote
SMA
2006
ACM
15 years 6 months ago
2006
ACM
Parametric and feature-based CAD models can be considered to represent families of similar objects. In current modelling systems, however, the semantics of such families are uncle...