297 search results - page 18 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
115
click to vote
APLAS
2011
ACM
13 years 11 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
14 years 11 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...
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
122
click to vote
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
124
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...