Sciweavers

11909 search results - page 307 / 2382
» The Scheme Programming Language
Sort
View
OOPSLA
1993
Springer
15 years 10 months ago
Object Fault Handling for Persistent Programming Languages: A Performance Evaluation
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
Antony L. Hosking, J. Eliot B. Moss
DBPL
1989
Springer
120views Database» more  DBPL 1989»
15 years 10 months ago
A Framework for Comparing Type Systems for Database Programming Languages
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris...
PLDI
1997
ACM
15 years 11 months ago
Incremental Analysis of real Programming Languages
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
Tim A. Wagner, Susan L. Graham
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
16 years 1 months ago
Progress in Programming the HRP-2 Humanoid Using Spoken Language
—The current research analyses and demonstrates how spoken language can be used by human users to communicate with the HRP-2 humanoid to program the robot’s behavior in a coope...
Peter Ford Dominey, Anthony Mallet, Eiichi Yoshida
ASM
2005
ASM
16 years 7 days ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy