Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

94

Voted

DLS
2005

126views Languages» more DLS 2005»

Higher order messaging

15 years 4 months ago

Higher order messaging

Download www.metaobject.com

Marcel Weiher, Stéphane Ducasse

Real-time Traffic

DLS 2005 | Languages |

claim paper

Related Content

» Minimizing Sparse Higher Order Energy Functions of Discrete Variables

» Termination in HigherOrder Concurrent Calculi

» Formalizing HigherOrder Mobile Embedded Business Processes with Binding Bigraphs

» HigherOrder Lazy Narrowing Calculus A Solver for HigherOrder Equations

» Typed HigherOrder Narrowing without HigherOrder Strategies

» Segmentation of standard ethernet messages in the timetriggered ethernet

» Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

» HOL2P A System of Classical Higher Order Logic with Second Order Polymorphism

» The HigherOrder Recursive Path Ordering

Post Info
More Details (n/a)

Added	14 Oct 2010
Updated	14 Oct 2010
Type	Conference
Year	2005
Where	DLS
Authors	Marcel Weiher, Stéphane Ducasse

Comments (0)