1095 search results - page 66 / 219 » Algebraic Guide Generation |
109
click to vote
APAL
2006
15 years 2 months ago
2006
Given a space X, J in an elementary submodel M of H(), define XM to be X M with the topology generated by {U M : U J M}. It is established, using anti-large-cardinals assumptio...
153
click to vote
LPAR
2010
Springer
15 years 23 days ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
120
click to vote
TOOLS
2010
IEEE
15 years 7 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
116
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
105
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...