intermediate languages

26

EMNLP
2009

83views Natural Language Processing» more EMNLP 2009»

Enhancement of Lexical Concepts Using Cross-lingual Web Mining

13 years 9 months ago

Sets of lexical items sharing a significant aspect of their meaning (concepts) are fundamental in linguistics and NLP. Manual concept compilation is labor intensive, error prone a...

Dmitry Davidov, Ari Rappoport

claim paper

Read More »

36

click to vote

TACAS
2010
Springer

151views Algorithms» more TACAS 2010»

A Polymorphic Intermediate Verification Language: Design and Logical Encoding

13 years 9 months ago

Download research.microsoft.com

Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...

K. Rustan M. Leino, Philipp Rümmer

claim paper

Read More »

32

click to vote

CC
2002
Springer

131views System Software» more CC 2002»

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

13 years 11 months ago

Download www.cs.virginia.edu

Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...

George C. Necula, Scott McPeak, Shree Prakash Rahu...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers