Sciweavers

4008 search results - page 370 / 802
» An expressive language of signatures
Sort
View
VL
1999
IEEE
164views Visual Languages» more  VL 1999»
15 years 11 months ago
Reasoning with Spider Diagrams
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
John Howse, Fernando Molina, John Taylor, Stuart K...
APCHI
1998
IEEE
15 years 11 months ago
Cleogo: Collaborative and Multi-Metaphor Programming for Kids
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...
Andy Cockburn, Andrew Bryant
JAVA
1999
Springer
15 years 11 months ago
A Programmer's Reduction Semantics for Classes and Mixins
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
Matthew Flatt, Shriram Krishnamurthi, Matthias Fel...
POPL
1998
ACM
15 years 11 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
IFIP
1998
Springer
15 years 11 months ago
Migrating Objects in Electronic Commerce Applications
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
Marko Boger