967 search results - page 100 / 194 » Probabilistic Predicative Programming |
119
Voted
VL
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
112
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
107
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
145
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
115
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...