IEEE - Institute of Electrical and Electronics Engineers, Inc. - Clipping: A Semantics-Directed Syntactic Approximation

2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS)

Author(s): Ghica, D.R. ; Bakewell, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Los Angeles, California, USA, USA
Conference Date: 11 August 2009
Page(s): 189 - 198
ISBN (Paper): 978-0-7695-3746-7
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.2009.25
Regular:

In this paper we introduce ``clipping,'' a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for a given... View More

Advertisement