Search Sciweavers | Sciweavers

3311 search results - page 75 / 663

» Deductive Object Programming

171

click to vote

ECOOPW
2007
Springer

62views Distributed And Parallel Com...» more ECOOPW 2007»

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

16 years 1 months ago

Download iv.tu-berlin.de

Olivier Zendra, Eric Jul, Roland Ducournau, Etienn...

claim paper

Read More »

182

click to vote

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs

16 years 1 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

175

Voted

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

16 years 1 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

145

click to vote

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

16 years 28 days ago

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

141

click to vote

SIGCSE
2004
ACM

95views Education» more SIGCSE 2004»

Scaffolding with object diagrams in first year programming classes: some unexpected results

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers