7661 search results - page 283 / 1533 » Languages and the Computing Profession |
169
click to vote
LICS
2005
IEEE
16 years 7 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 ...
159
click to vote
ICLP
2005
Springer
16 years 5 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...
162
click to vote
OOPSLA
2005
Springer
16 years 4 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...
194
click to vote
PPDP
2004
Springer
16 years 8 hour 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 ...
145
click to vote
ECOOPW
2003
Springer
15 years 12 months 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...