1356 search results - page 69 / 272 » A variable-free dynamic semantics |
108
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
152
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
SIGLEX
1991
15 years 1 months ago
1991
Metaphor and other forms of non-literal language are essential parts of language which have direct bearing on theories of lexical semantics. Neither narrow theories of lexical sem...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...