1736 search results - page 43 / 348 » Semantic Annotation for Java |
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
AGTIVE
2003
Springer
14 years 1 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
IEEEMM
2002
13 years 7 months ago
2002
ion when we annotate content. This therefore requires us to investigate and model video semantics. Because of the type and volume of data, general-purpose approaches are likely to ...
JAVA
2001
Springer
14 years 8 days ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...