2236 search results - page 50 / 448 » Language Independence and Language Tolerance in Logic Progra... |
174
click to vote
DNA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
266
click to vote
VL
2007
IEEE
16 years 8 days ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
130
click to vote
TBILLC
2005
Springer
15 years 11 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
187
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...