3516 search results - page 350 / 704 » Programming Languages: Application and Interpretation |
158
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
172
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
181
Voted
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
189
click to vote
ECOOP
2007
Springer
16 years 29 days ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
141
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We show that linear probing requires 5-independent hash functions for expected constant-time performance, matching an upper bound of [Pagh et al. STOC’07]. For (1 + ε)-approxima...