1131 search results - page 142 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
127
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
DRM
2007
Springer
15 years 6 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
125
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
112
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
100
Voted
SEUS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...