1204 search results - page 136 / 241 » Termination of Polynomial Programs |
92
Voted
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
115
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
107
click to vote
TCS
2008
15 years 18 days ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
137
Voted
DEDS
2000
15 years 16 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
101
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...