Search Sciweavers | Sciweavers

5314 search results - page 56 / 1063

» Hybrid Dynamic Programming

159

click to vote

JAPLL
2006

112views more JAPLL 2006»

Intuitionistic hybrid logic

15 years 6 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 »

251

click to vote

POPL
2003
ACM

104views Programming Languages» more POPL 2003»

Incremental algorithms for dispatching in dynamically typed languages

16 years 6 months ago

Download www.zibin.net

Yoav Zibin, Joseph Gil

claim paper

Read More »

159

click to vote

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

16 years 10 days ago

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

131

click to vote

CD
2005
Springer

150views Programming Languages» more CD 2005»

A Model of Dynamic Binding in .NET

15 years 11 months ago

Download slurp.doc.ic.ac.uk

Alex Buckley

claim paper

Read More »

135

click to vote

ESOP
2003
Springer

76views Programming Languages» more ESOP 2003»

Flexible Models for Dynamic Linking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers