Sciweavers

10912 search results - page 491 / 2183
» Object-Oriented Programming Languages
Sort
View
ESOP
2006
Springer
15 years 10 months ago
A Basic Contract Language for Web Services
We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operat...
Samuele Carpineti, Cosimo Laneve
HYBRID
2005
Springer
16 years 12 days ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
ESOP
1994
Springer
15 years 11 months ago
Dimension Types
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
Andrew Kennedy
ICFP
2003
ACM
16 years 6 months ago
A user-centred approach to functions in Excel
We describe extensions to the Excel spreadsheet that integrate userdefined functions into the spreadsheet grid, rather than treating them as a "bolt-on". Our first objec...
Simon L. Peyton Jones, Alan F. Blackwell, Margaret...
PRIMA
2009
Springer
16 years 1 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks