742 search results - page 26 / 149 » Formal Grammar for Java |
142
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
115
Voted
ECOOPW
2001
Springer
15 years 6 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
108
click to vote
JAVACARD
2000
15 years 5 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
100
click to vote
COMPSEC
2010
14 years 11 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
120
click to vote
ESMART
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...