4743 search results - page 85 / 949 » The PlusCal Algorithm Language |
127
Voted
JFP
2007
15 years 2 months ago
2007
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
ICALP
1999
Springer
15 years 6 months ago
1999
Springer
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove
107
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
81
Voted
EACL
2009
ACL Anthology
16 years 2 months ago
2009
ACL Anthology
113
click to vote
ERLANG
2007
ACM
15 years 6 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...