10871 search results - page 389 / 2175 » A stable programming language |
207
click to vote
AGP
2003
IEEE
16 years 2 days ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
153
click to vote
ECOOP
2007
Springer
16 years 28 days ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
161
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
171
click to vote
VEE
2005
ACM
16 years 9 days ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
174
click to vote
ML
2007
ACM
15 years 6 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...