2496 search results - page 264 / 500 » Error-detecting properties of languages |
159
click to vote
ECLIPSE
2004
ACM
16 years 5 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
157
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
160
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...
200
click to vote
APLAS
2003
ACM
15 years 12 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
168
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...