Sciweavers

1925 search results - page 37 / 385
» Dynamic Typing
Sort
View
TGC
2005
Springer
14 years 1 months ago
Types for Security in a Mobile World
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
Adriana B. Compagnoni, Elsa L. Gunter
VLDB
1993
ACM
142views Database» more  VLDB 1993»
13 years 11 months ago
Collections of Objects in SQL3
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...
David Beech
OIR
2007
95views more  OIR 2007»
13 years 7 months ago
Help features in digital libraries: types, formats, presentation styles, and problems
Purpose – The purpose of this paper is to evaluate Help features in digital libraries and identify problems related to their design. Design/methodology/approach – This study s...
Hong (Iris) Xie
KBSE
2005
IEEE
14 years 1 months ago
Optimized run-time race detection and atomicity checking using partial discovered types
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott...
POPL
1998
ACM
13 years 12 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi