632 search results - page 78 / 127 » Proving Invariants of Functional Programs |
110
Voted
POPL
2009
ACM
15 years 7 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
15 years 12 days 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...
192
Voted
POPL
2003
ACM
16 years 25 days ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
91
Voted
NJC
2006
15 years 14 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...