396 search results - page 34 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
150
click to vote
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
134
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
145
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
140
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
Probabilistic Latent Semantic Analysis (PLSA) is one of the most popular statistical techniques for the analysis of two-model and co-occurrence data. It has applications in inform...
130
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...