Search Sciweavers | Sciweavers

5314 search results - page 56 / 1063

» Hybrid Dynamic Programming

116

Voted

JAPLL
2006

112views more JAPLL 2006»

Intuitionistic hybrid logic

15 years 2 months ago

Download www.cs.bham.ac.uk

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...

Torben Braüner, Valeria de Paiva

claim paper

Read More »

197

Voted

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

16 years 2 months ago

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

120

click to vote

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

15 years 8 months ago

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

101

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 7 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

click to vote

ESOP
2003
Springer

76views Programming Languages» more ESOP 2003»

Flexible Models for Dynamic Linking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers