10575 search results - page 225 / 2115 » Programming Languages |
124
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
140
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
187
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
172
click to vote
HIPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
134
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...