5536 search results - page 852 / 1108 » Programming Languages for Distributed Applications |
106
click to vote
ICDT
1997
ACM
15 years 5 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
101
click to vote
CHI
1992
ACM
15 years 5 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
PEPM
1993
ACM
15 years 5 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...
111
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
110
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...