Author of the publication

FVision: A Declarative Language for Visual Tracking.

, , , and . PADL, volume 1990 of Lecture Notes in Computer Science, page 304-321. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.. IFL, volume 1595 of Lecture Notes in Computer Science, page 186-199. Springer, (1998)Teleworking. NCC Blackwell, Manchester u.a., (1994)A Semantics for Imprecise Exceptions., , , , and . PLDI, page 25-36. ACM, (1999)Implementing Fudgets with Standard Widget Sets., and . Functional Programming, page 222-235. Springer, (1993)Static and dynamic structure in design patterns., , , and . ICSE, page 208-218. ACM, (2002)Designing Data Structures.. Functional Programming, page 170-181. Springer, (1989)Evolving real-time systems using hierarchical scheduling and concurrency analysis., , , , and . RTSS, page 25-36. IEEE Computer Society, (2003)HOIST: a system for automatically deriving static analyzers for embedded systems., and . ASPLOS, page 133-143. ACM, (2004)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , and 4 other author(s). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)Eliminating stack overflow by abstract interpretation., , and . ACM Trans. Embed. Comput. Syst., 4 (4): 751-778 (2005)