4067 search results - page 167 / 814 » Programs for Applying Symmetries |
114
Voted
PARA
2000
Springer
15 years 6 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
140
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
133
Voted
SAC
2011
ACM
14 years 5 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
125
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
139
click to vote
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...