7139 search results - page 955 / 1428 » Language Engineering in Practice |
184
click to vote
CAISE
2004
Springer
16 years 13 days ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
187
click to vote
ECOOP
2004
Springer
16 years 13 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
204
click to vote
IFL
2004
Springer
16 years 12 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
207
click to vote
PPDP
2004
Springer
16 years 12 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
184
click to vote
DEXAW
2003
IEEE
16 years 10 days ago
2003
IEEE
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...