Sciweavers

23 search results - page 2 / 5
» dls 2010
Sort
View
DLS
2010
146views Languages» more  DLS 2010»
13 years 2 months ago
Experiences with an icon-like expression evaluation system
The design of the Icon programming language's expression evaluation system, which can perform limited backtracking, was unique amongst imperative programming languages when c...
Laurence Tratt
DLS
2010
141views Languages» more  DLS 2010»
13 years 2 months ago
Optimizing dynamic dispatch with fine-grained state tracking
Dynamic mixin is a construct available in Ruby and other dynamic languages. It can be used as a base to implement a range of programming paradigms, such as dynamic aspectoriented ...
Salikh Zakirov, Shigeru Chiba, Etsuya Shibayama
RR
2010
Springer
13 years 2 months ago
On the Semantic Relationship between Datalog and Description Logics
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
Markus Krötzsch, Sebastian Rudolph, Peter H. ...
JACM
2010
137views more  JACM 2010»
13 years 2 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
DLS
2010
277views Languages» more  DLS 2010»
13 years 2 months ago
Factor: a dynamic stack-based programming language
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff