Sciweavers

1152 search results - page 19 / 231
» The Scratch Programming Language and Environment
Sort
View
HOPL
1993
15 years 1 months ago
A History of C++: 1979-1991
This paper outlines the history of the C++ programming language. The emphasis is on the ideas, constraints, and people that shaped the language, rather than the minutiae of langua...
Bjarne Stroustrup
SIGMOD
1989
ACM
103views Database» more  SIGMOD 1989»
15 years 1 months ago
ODE (Object Database and Environment): The Language and the Data Model
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
Rakesh Agrawal, Narain H. Gehani
106
Voted
MEMOCODE
2003
IEEE
15 years 2 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
75
Voted
CATS
2007
14 years 11 months ago
Planning with Time Limits in BDI Agent Programming Languages
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...
Lavindra de Silva, Anthony Dekker, James Harland
POPL
2005
ACM
15 years 9 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela