6054 search results - page 410 / 1211 » Implementation of Andorra-based Languages |
200
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
152
click to vote
CD
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
176
click to vote
FLOPS
2004
Springer
16 years 8 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
168
click to vote
INEX
2004
Springer
16 years 8 days ago
2004
Springer
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
171
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...