41 search results - page 8 / 9 » Modular Statically Typed Multimethods |
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
106
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
TCS
2010
14 years 10 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
121
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
103
click to vote
CHI
2004
ACM
15 years 5 months ago
2004
ACM
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...