632 search results - page 61 / 127 » Combining programming with theorem proving |
142
Voted
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
125
Voted
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 3 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
95
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
204
Voted
PEPM
2007
ACM
17 years 1 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
109
Voted
ISCI
2007
15 years 3 months ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...