3311 search results - page 137 / 663 » Deductive Object Programming |
124
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...
122
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
165
Voted
TABLETOP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces TurTan, a tangible programming language for creative exploration inspired by Logo, which uses a tabletop interface with tangible objects. The aim of this pro...
184
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
138
click to vote
UIST
1996
ACM
15 years 8 months ago
1996
ACM
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...