10575 search results - page 541 / 2115 » T2Script Programming Language |
187
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
172
click to vote
LCTRTS
2004
Springer
16 years 17 days ago
2004
Springer
Java Card technology simpliļ¬es the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
181
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
ā We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
207
click to vote
ECOOP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
231
click to vote
PADL
2004
Springer
16 years 17 days ago
2004
Springer
We present a system (ASP ā PROLOG) which provides a tight and well-deļ¬ned integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...