Search Sciweavers | Sciweavers

1412 search results - page 5 / 283

» types 2004

148

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

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

16 years 1 days ago

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

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

claim paper

Read More »

141

click to vote

IJCNLP
2004
Springer

71views Natural Language Processing» more IJCNLP 2004»

Parsing Mixed Constructions in a Type Feature Structure Grammar

16 years 16 hour 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

16 years 7 hour ago

Download scg.unibe.ch

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

claim paper

Read More »

143

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

16 years 1 hour ago

Download www.edaa.com

Michael Jung, Sorin A. Huss

claim paper

Read More »

134

Voted

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers