Sciweavers

10575 search results - page 12 / 2115

» Programming Languages

141

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 10 months ago

A Programming Logic for Sequential Java

Download sct.inf.ethz.ch

Arnd Poetzsch-Heffter, Peter Müller

claim paper

Read More »

122

TOOLS
1999
IEEE

71views Programming Languages» more TOOLS 1999»

Programming with C++ Exceptions

15 years 10 months ago

Programming with C++ Exceptions

Download www.angelikalanger.com

Angelika Langer

claim paper

Read More »

141

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 10 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

117

ICFP
1998
ACM

98views Programming Languages» more ICFP 1998»

Modular Object-Oriented Programming with Units and Mixins

15 years 10 months ago

Modular Object-Oriented Programming with Units and Mixins

Download www.ccs.neu.edu

Robert Bruce Findler, Matthew Flatt

claim paper

Read More »

173

Voted

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 10 months ago

Recursive Object Types in a Logic of Object-Oriented Programs

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

« Prev « First page 12 / 2115 Last » Next »