5536 search results - page 815 / 1108 » Programming Languages for Distributed Applications |
121
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
113
click to vote
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
103
Voted
FOAL
2008
ACM
15 years 3 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
145
click to vote
CASCON
1992
15 years 2 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
124
click to vote
NJC
2000
15 years 1 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...