Search Sciweavers | Sciweavers

31686 search results - page 141 / 6338

» Resource typing in Guru

click to vote

IJCNLP
2004
Springer

71views Natural Language Processing» more IJCNLP 2004»

Parsing Mixed Constructions in a Type Feature Structure Grammar

14 years 2 months ago

Download web.khu.ac.kr

Jong-Bok Kim, Jaehyung Yang

claim paper

Read More »

click to vote

OOPSLA
2004
Springer

59views Security Privacy» more OOPSLA 2004»

Object-oriented encapsulation for dynamically typed languages

14 years 2 months ago

Download scg.unibe.ch

Nathanael Schärli, Andrew P. Black, Sté...

claim paper

Read More »

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

14 years 2 months ago

Download www.edaa.com

Michael Jung, Sorin A. Huss

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 2 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

click to vote

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers