2370 search results - page 184 / 474 » On the Revival of Dynamic Languages |
184
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
153
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
174
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
154
click to vote
DLS
2008
15 years 8 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
165
click to vote
IJIT
2004
15 years 7 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...