7529 search results - page 113 / 1506 » The Modula-3 Type System |
154
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
120
click to vote
IEEEIAS
2008
IEEE
15 years 10 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
128
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
147
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
126
click to vote
FPCA
1995
15 years 8 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...