2678 search results - page 496 / 536 » Operational Semantics of Transactions |
122
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
103
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
118
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
122
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
With the growing popularity of digitized sports video, automatic analysis of them need be processed to facilitate semantic summarization and retrieval. Playfield plays the fundame...