Sciweavers

589 search results - page 4 / 118
» Io: a small programming language
Sort
View
VL
2006
IEEE
13 years 11 months ago
A Visual Language for Programming Reality-Based Interaction
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...
Orit Shaer, Robert J. K. Jacob
POPL
2006
ACM
14 years 6 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
USENIX
1993
13 years 7 months ago
Wafe - An X Toolkit Based Frontend for Application Programs in Various Programming Languages
Wafe provides a flexible and easy to use interface to the X Toolkit (Xt) and the Athena widget set (Xaw) using the embeddable command language Tcl [1]. It allows access to Xt’s...
Gustaf Neumann, Stefan Nusser
ENTCS
2006
120views more  ENTCS 2006»
13 years 5 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...
GI
1997
Springer
13 years 10 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz