10575 search results - page 473 / 2115 » T2Script Programming Language |
287
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
154
click to vote
C5
2008
IEEE
16 years 1 months ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...
175
Voted
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
155
click to vote
VL
2005
IEEE
16 years 6 days ago
2005
IEEE
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
156
click to vote
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...