8179 search results - page 1423 / 1636 » The PRACTIONIST Development Tool |
153
Voted
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
167
click to vote
FOIKS
2008
Springer
15 years 6 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
153
Voted
ACSW
2007
15 years 6 months ago
2007
Distributed management of data is one of the most important problems facing grids. Within the Enabling Grids for Enabling eScience (EGEE) project, currently the world’s largest ...
142
click to vote
APVIS
2008
15 years 6 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
146
click to vote
BCS
2008
15 years 6 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...