3583 search results - page 35 / 717 » A Type System for the Relational Calculus of Object Systems |
155
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
144
Voted
TAPSOFT
1993
Springer
15 years 9 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
148
click to vote
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
227
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
236
Voted
POPL
2001
ACM
16 years 5 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...