7092 search results - page 585 / 1419 » Parallelizing constraint programs |
170
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
139
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
165
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
145
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
157
click to vote
FIDJI
2003
Springer
15 years 10 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...