Sciweavers

10935 search results - page 18 / 2187

» Neural Programming Language

62

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

15 years 2 months ago

A Programming Logic for Sequential Java

Download sct.inf.ethz.ch

Arnd Poetzsch-Heffter, Peter Müller

claim paper

Read More »

73

Voted

TOOLS
1999
IEEE

71views Programming Languages» more TOOLS 1999»

Programming with C++ Exceptions

15 years 2 months ago

Programming with C++ Exceptions

Download www.angelikalanger.com

Angelika Langer

claim paper

Read More »

66

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 2 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 »

56

ICFP
1998
ACM

98views Programming Languages» more ICFP 1998»

Modular Object-Oriented Programming with Units and Mixins

15 years 2 months ago

Modular Object-Oriented Programming with Units and Mixins

Download www.ccs.neu.edu

Robert Bruce Findler, Matthew Flatt

claim paper

Read More »

102

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

15 years 2 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 18 / 2187 Last » Next »