2362 search results - page 200 / 473 » Programming in Standard ML |
152
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
108
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Code theft is a threat for companies that consider code as a core asset. A birthmark can help them to prove code theft by identifying intrinsic properties of a program. Two progra...
141
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
129
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
143
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...