Sciweavers

3319 search results - page 12 / 664

» Subshifts, Languages and Logic

27

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

14 years 1 months ago

Termination of Well-Typed Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

21

POPL
2000
ACM

126views Programming Languages» more POPL 2000»

Anytime, Anywhere: Modal Logics for Mobile Ambients

14 years 1 months ago

Anytime, Anywhere: Modal Logics for Mobile Ambients

Download research.microsoft.com

Luca Cardelli, Andrew D. Gordon

claim paper

Read More »

21

ESOP
1999
Springer

96views Programming Languages» more ESOP 1999»

A Programming Logic for Sequential Java

14 years 29 days ago

A Programming Logic for Sequential Java

Download sct.inf.ethz.ch

Arnd Poetzsch-Heffter, Peter Müller

claim paper

Read More »

28

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

14 years 29 days 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 »

32

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

14 years 28 days 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 / 664 Last » Next »