1913 search results - page 49 / 383 » Architectural Concepts in Programming Languages |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 8 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...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Progra...
SC
2000
ACM
14 years 1 months ago
2000
ACM
Hierarchical algorithms such as multigrid applications form an important cornerstone for scientific computing. In this study, we take a first step toward evaluating parallel lan...
ITP
2010
14 years 17 days ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
DSL
2009
13 years 6 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...