2496 search results - page 217 / 500 » Error-detecting properties of languages |
158
Voted
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
128
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
160
Voted
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
152
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
144
Voted
CEFP
2005
Springer
15 years 10 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...