3736 search results - page 169 / 748 » Hand-Writing Program Generator Generators |
152
click to vote
JAIR
1998
15 years 4 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
168
click to vote
ACSD
2009
IEEE
15 years 12 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
115
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
149
click to vote
JFP
2000
15 years 4 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
162
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...