2947 search results - page 134 / 590 » Analyzing Program Analyses |
145
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
133
click to vote
WOA
2004
15 years 6 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
120
click to vote
PRIMA
2009
Springer
15 years 11 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
164
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
133
click to vote
VL
2007
IEEE
15 years 11 months ago
2007
IEEE
Previous studies of end-user programmers have indicated a reliance on related examples for learning. Accordingly, we analyzed the projects contained in an online community with re...