1939 search results - page 71 / 388 » Dynamic Lex Constraints |
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
VL
1994
IEEE
14 years 1 months ago
1994
IEEE
Stretch-A-Sketch is a pen-based drawing program that combines recognition of hand-drawn glyphs with constraint based maintenance of spatial relations. The recognition program iden...
CMOT
2004
13 years 9 months ago
2004
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
ADAPTIVE
2007
Springer
14 years 3 months ago
2007
Springer
Software product line architectures (PLAs) have been widely recognized as a successful approach in industrial software development for improving productivity, software quality and...