10871 search results - page 415 / 2175 » A stable programming language |
147
click to vote
ESOP
2006
Springer
15 years 10 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...
160
click to vote
HYBRID
2005
Springer
16 years 9 days 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...
191
click to vote
ESOP
1994
Springer
15 years 11 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 ...
180
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
159
click to vote
MICRO
2003
IEEE
16 years 2 days ago
2003
IEEE
Detecting program phase changes accurately is an important aspect of dynamically adaptable systems. Three dynamic program phase detection techniques are compared – using instruc...