4231 search results - page 288 / 847 » Using Language More Responsibly |
157
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind ...
173
click to vote
EUROPAR
2007
Springer
16 years 23 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
149
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
200
click to vote
WSFM
2007
Springer
16 years 22 days ago
2007
Springer
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
162
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...