2236 search results - page 49 / 448 » Language Independence and Language Tolerance in Logic Progra... |
161
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
153
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
135
click to vote
DEXAW
2008
IEEE
16 years 13 days ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
139
click to vote
PLDI
1995
ACM
15 years 9 months ago
1995
ACM
EEL (Executable Editing Library) is a library for building tools to analyze and modify an executable (compiled) program. The systems and languages communities have built many tool...
150
click to vote
PADL
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...