2527 search results - page 84 / 506 » Aging in language dynamics |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
PLDI
1994
ACM
14 years 1 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
WMTE
2008
IEEE
14 years 3 months ago
2008
IEEE
Mobile and ubiquitous learning facilitates language learners to continue their learning process outside the formal classroom, when and where they desire. While more and more learn...
SIGCOMM
1999
ACM
14 years 1 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...