Search Sciweavers | Sciweavers

1412 search results - page 5 / 283

» types 2004

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

14 years 2 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

click to vote

IJCNLP
2004
Springer

71views Natural Language Processing» more IJCNLP 2004»

Parsing Mixed Constructions in a Type Feature Structure Grammar

14 years 1 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 1 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 1 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers