430 search results - page 38 / 86 » Extracting Computer Algebra Programs from Statements |
PPOPP
2010
ACM
14 years 5 months ago
2010
ACM
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Straight-line programs (SLPs) offer powerful text compression by representing a text T[1, u] in terms of a restricted context-free grammar of n rules, so that T can be r...
IUI
2000
ACM
14 years 2 days ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...