7661 search results - page 283 / 1533 » Languages and the Computing Profession |
195
click to vote
LICS
2005
IEEE
16 years 29 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
181
click to vote
ICLP
2005
Springer
16 years 27 days ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
178
click to vote
OOPSLA
2005
Springer
16 years 26 days ago
2005
Springer
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
215
click to vote
PPDP
2004
Springer
16 years 22 days ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
159
click to vote
ECOOPW
2003
Springer
16 years 18 days ago
2003
Springer
This report covers the activities of the 2nd workshop on “Object-Oriented Language Engineering for the Post-Java Era”. We describe the motivation that led to the organisation o...