Sciweavers

3311 search results - page 83 / 663

» Deductive Object Programming

117

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 4 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

95

Voted

TACO
2008

52views more TACO 2008»

Object co-location and memory reuse for Java programs

15 years 4 months ago

Object co-location and memory reuse for Java programs

Download www.cs.hku.hk

Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang

claim paper

Read More »

85

COMPUTER
2000

78views more COMPUTER 2000»

APIs for Real-Time Distributed Object Programming

15 years 4 months ago

APIs for Real-Time Distributed Object Programming

Download dream.eng.uci.edu

K. H. Kim

claim paper

Read More »

86

JISE
2000

68views more JISE 2000»

Flow Analysis of Class Relationships for Object-Oriented Programs

15 years 4 months ago

Flow Analysis of Class Relationships for Object-Oriented Programs

Download www.iis.sinica.edu.tw

Jiun-Liang Chen, Feng-Jian Wang

claim paper

Read More »

95

JPDC
1998

42views more JPDC 1998»

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

15 years 3 months ago

Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs

Download sdg.csail.mit.edu

Pedro C. Diniz, Martin C. Rinard

claim paper

Read More »

« Prev « First page 83 / 663 Last » Next »