5343 search results - page 501 / 1069 » Keyword programming in java |
131
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
236
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
163
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
135
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
130
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...