Search Results - "Applied computing Document management and text processing Document preparation"

Assessing the Type Annotation Burden by Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros

“…Type annotations provide a link between program variables and domain-specific types. When combined with a type system, these annotations can enable early fault…”
Get full text

User Navigational Behavior in e-Learning Virtual Environments by Carbo, Joan Marc, Mor, Enric, Minguillon, Julia

“…In this paper we describe the navigational behavior of the students of a e-learning virtual environment, in order to determine whether such navigational…”
Get full text