12452 search results - page 2489 / 2491 » An exploration of program as language |
139
Voted
SDM
2011
SIAM
14 years 3 months ago
2011
SIAM
In many real world prediction problems the output is a structured object like a sequence or a tree or a graph. Such problems range from natural language processing to computationa...
130
Voted
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
170
Voted
CPP
2011
14 years 27 days ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
143
Voted
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
143
Voted
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...