1102 search results - page 66 / 221 » Generalizing Updates: From Models to Programs |
107
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
163
Voted
AII
1992
15 years 4 months ago
1992
Most theoretical models of inductive inference make the idealized assumption that the data available to a learner is from a single and accurate source. The subject of inaccuracies ...
197
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
101
click to vote
ICALP
2010
Springer
15 years 2 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 ...
99
Voted
EDO
2005
Springer
15 years 5 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...