306 search results - page 31 / 62 » NaturalJava: a natural language interface for programming in... |
271
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
121
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
146
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
128
click to vote
INFSOF
2010
15 years 27 days ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
141
click to vote
SPE
2002
15 years 2 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...