4722 search results - page 617 / 945 » Encoding Program Executions |
158
Voted
ENTCS
2007
15 years 3 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
141
Voted
JDCTA
2008
15 years 2 months ago
2008
TV is one of the most important home appliances and the remote controller is a crucial TV input device. TV remote controllers have always been designed with TV compatibility in mi...
132
click to vote
JFP
2008
15 years 2 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
116
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
129
click to vote
ICCS
2009
Springer
15 years 1 months ago
2009
Springer
Distributed parallel applications often run for hours or even days before arriving to a result. In the case of such long-running programs, the initial requirements could change aft...