Sciweavers

3319 search results - page 14 / 664

» Subshifts, Languages and Logic

77

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 4 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

72

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

15 years 4 months ago

Continuations for parallel logic programming

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

80

Voted

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 3 months ago

Logical and Computational Aspects of Programming with Sets/Bags/Lists

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

178

Voted

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 21 days ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

175

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

16 years 21 days ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

« Prev « First page 14 / 664 Last » Next »