5415 search results - page 456 / 1083 » The Implementation of Functional Programming Languages |
216
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
248
click to vote
ICLP
2004
Springer
16 years 29 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
239
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
304
click to vote
TOG
2012
13 years 10 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
175
click to vote
ICRA
2008
IEEE
2008
IEEE
Comparison of robotic and clinical motor function improvement measures for sub-acute stroke patients
16 years 2 months ago
Abstract— In this paper, preliminary results in motor function improvement for four sub-acute stroke patients that underwent a hybrid robotic and traditional rehabilitation progr...