Sciweavers

18429 search results - page 313 / 3686
» Typing dynamic typing
Sort
View
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
16 years 21 days ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
174
Voted
ECOOP
2004
Springer
16 years 21 days ago
Customization of Java Library Classes Using Type Constraints and Profile Information
Bjorn De Sutter, Frank Tip, Julian Dolby
ESOP
2004
Springer
16 years 21 days ago
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Tom Hirschowitz, Xavier Leroy, J. B. Wells
FASE
2004
Springer
16 years 21 days ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
HUC
2004
Springer
16 years 21 days ago
ActiveBelt: Belt-Type Wearable Tactile Display for Directional Navigation
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
Koji Tsukada, Michiaki Yasumura