Search Sciweavers | Sciweavers

27119 search results - page 275 / 5424

» Languages

131

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 8 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

153

Voted

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 8 months ago

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã...

claim paper

Read More »

138

click to vote

FOAL
2008
ACM

74views Natural Language Processing» more FOAL 2008»

Enforcing behavioral constraints in evolving aspect-oriented programs

15 years 8 months ago

Download www.eecs.ucf.edu

Raffi Khatchadourian, Johan Dovland, Neelam Sounda...

claim paper

Read More »

134

click to vote

FSMNLP
2008
Springer

103views Natural Language Processing» more FSMNLP 2008»

CLARIN and Free Open Source Finite-State Tools

15 years 8 months ago

Download langtech.jrc.it

Kimmo Koskenniemi, Anssi Yli-Jyrä

claim paper

Read More »

143

click to vote

EACL
2006
ACL Anthology

109views Natural Language Processing» more EACL 2006»

Towards Robust Context-Sensitive Sentence Alignment for Monolingual Corpora

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers