4139 search results - page 324 / 828 » Designing and Implementing Combinator Languages |
151
click to vote
SBCCI
2003
ACM
15 years 11 months ago
2003
ACM
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
150
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
163
click to vote
ACL
2006
15 years 7 months ago
2006
We present Outilex, a generalist linguistic platform for text processing. The platform includes several modules implementing the main operations for text processing and is designe...
136
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
233
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...