Search Sciweavers | Sciweavers

2019 search results - page 8 / 404

» Programming with Shared Data Abstractions

click to vote

ECOOP
2001
Springer

188views Programming Languages» more ECOOP 2001»

Distinctness and Sharing Domains for Static Analysis of Java Programs

14 years 1 days ago

Download www.dsi.unive.it

Abstract. The application ﬁeld of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...

Isabelle Pollet, Baudouin Le Charlier, Agostino Co...

claim paper

Read More »

click to vote

SIGMOD
2007
ACM

174views Database» more SIGMOD 2007»

ADO.NET entity framework: raising the level of abstraction in data programming

14 years 7 months ago

Download www.pmg.lcs.mit.edu

Pablo Castro, Sergey Melnik, Atul Adya

claim paper

Read More »

click to vote

CCGRID
2009
IEEE

142views Distributed And Parallel Com...» more CCGRID 2009»

Programming Abstractions for Data Intensive Computing on Clouds and Grids

14 years 2 months ago

Download www.cct.lsu.edu

Chris Miceli, Michael Miceli, Shantenu Jha, Hartmu...

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

14 years 1 days ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers