3440 search results - page 579 / 688 » Logics For Context-Free Languages |
195
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
200
click to vote
PPDP
2004
Springer
16 years 6 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
211
click to vote
COMPSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
185
click to vote
PDP
2003
IEEE
16 years 4 days ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
185
click to vote
RSP
2003
IEEE
16 years 4 days ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...