2362 search results - page 220 / 473 » Programming in Standard ML |
204
click to vote
DLS
2009
15 years 2 months ago
2009
JavaScript programmers make extensive use of event-driven programming to help build responsive web applications. However, standard approaches to sequencing events are messy, and o...
122
click to vote
DSL
2009
15 years 2 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
152
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract We present the first method to handle curvature regularity in region-based image segmentation and inpainting that is independent of initialization. To this end we start f...
142
Voted
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
195
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...