6740 search results - page 84 / 1348 » Using Classification as a Programming Language |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
VL
2006
IEEE
15 years 3 months ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...
CN
1998
14 years 9 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...
MOZ
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...