10622 search results - page 398 / 2125 » Python Programming Language |
165
click to vote
FMOODS
2003
15 years 6 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
157
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
114
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
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...
126
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
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...
158
click to vote
ESOP
1994
Springer
15 years 9 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...