4743 search results - page 447 / 949 » The PlusCal Algorithm Language |
327
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
195
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
315
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
190
click to vote
EACL
2009
ACL Anthology
16 years 8 months ago
2009
ACL Anthology
We introduce cube summing, a technique that permits dynamic programming algorithms for summing over structures (like the forward and inside algorithms) to be extended with non-loc...
208
click to vote
EACL
2009
ACL Anthology
16 years 8 months ago
2009
ACL Anthology
We present novel parsing algorithms for several sets of mildly non-projective dependency structures. First, we define a parser for well-nested structures of gap degree at most 1, ...