3516 search results - page 197 / 704 » Programming Languages: Application and Interpretation |
147
click to vote
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
150
click to vote
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
211
click to vote
ISOOMS
1994
15 years 10 months ago
1994
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
177
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
154
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...