Sciweavers

2625 search results - page 104 / 525
» The development of the Emerald programming language
Sort
View
HYBRID
2007
Springer
15 years 4 months ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig
PLDI
2010
ACM
15 years 3 months ago
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Ro...
PEPM
2007
ACM
15 years 4 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
PADL
2005
Springer
15 years 3 months ago
Safe Programming with Pointers Through Stateful Views
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
Dengping Zhu, Hongwei Xi
USENIX
2008
15 years 6 days ago
LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
Yan Tang, Qi Gao, Feng Qin