Search Sciweavers | Sciweavers

8008 search results - page 19 / 1602

» Computer-Aided Language Processing

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 5 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

click to vote

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 4 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

15 years 4 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

click to vote

TOOLS
1998
IEEE

87views Programming Languages» more TOOLS 1998»

Forward vs. Reverse Traversal in Path Expression Query Processing

15 years 4 months ago

Download users.monash.edu.au

David Taniar

claim paper

Read More »

click to vote

TOOLS
1997
IEEE

84views Programming Languages» more TOOLS 1997»

Parallelization and Object-Orientation: A Database Processing Point of View

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers