2604 search results - page 75 / 521 » General constant expressions for system programming language... |
128
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
141
Voted
DLS
2005
15 years 5 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
128
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
120
Voted
IJCAI
1993
15 years 4 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
144
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...