Search Sciweavers | Sciweavers

2206 search results - page 5 / 442

» On the power of coercion abstraction

click to vote

JAR
2008

89views more JAR 2008»

An Extensible Encoding of Object-oriented Data Models in hol

13 years 7 months ago

Download kisogawa.inf.ethz.ch

Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

click to vote

TLDI
2003
ACM

135views Formal Methods» more TLDI 2003»

Typed compilation of recursive datatypes

14 years 22 days ago

Download www.cs.cmu.edu

Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...

Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...

claim paper

Read More »

click to vote

ACL
1998

101views Computational Linguistics» more ACL 1998»

A Generative Lexicon Perspective for Adjectival Modification

13 years 8 months ago

Download www.aclweb.org

This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...

Patrick Saint-Dizier

claim paper

Read More »

click to vote

ISVLSI
2008
IEEE

191views VLSI» more ISVLSI 2008»

NoC Power Estimation at the RTL Abstraction Level

14 years 1 months ago

Download www.inf.pucrs.br

Guilherme Guindani, Cezar Reinbrecht, Thiago Raupp...

claim paper

Read More »