Sciweavers

5096 search results - page 166 / 1020
» Associations as a Language Construct
Sort
View
TOOLS
1997
IEEE
15 years 10 months ago
Dynamically Extensible Objects in a Class-Based Language
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
R. W. Schmidt
SIGPLAN
2008
15 years 6 months ago
Languages and performance engineering: method, instrumentation, and pedagogy
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
Doug Lea, David F. Bacon, David Grove
FROCOS
2005
Springer
16 years 2 days ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
ICTCS
2005
Springer
16 years 1 days ago
A Typed Assembly Language for Non-interference
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bone...
IVA
2005
Springer
16 years 1 days ago
Teaching Virtual Characters How to Use Body Language
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
Doron A. Friedman, Marco Gillies