Search Sciweavers | Sciweavers

3311 search results - page 75 / 663

» Deductive Object Programming

108

Voted

ECOOPW
2007
Springer

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

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

15 years 10 months ago

Download iv.tu-berlin.de

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

claim paper

Read More »

115

Voted

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

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

15 years 9 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

124

Voted

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 9 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

click to vote

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

15 years 9 months ago

Download vstte.ethz.ch

David A. Naumann

claim paper

Read More »

click to vote

SIGCSE
2004
ACM

95views Education» more SIGCSE 2004»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers