Sciweavers

4743 search results - page 431 / 949
» Introduction to Functional Programming
Sort
View
ISW
2007
Springer
16 years 29 days ago
Specifying Imperative Data Obfuscations
Abstract. An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible...
Stephen Drape, Clark D. Thomborson, Anirban Majumd...
PEPM
2007
ACM
16 years 28 days ago
Style normalization for canonical X-to-O mappings
An X-to-O mapping takes an XML schema as input and returns an object model as output; this object model is meant for programmatic, schema-aware access to XML data. The provision o...
Ralf Lämmel
SAFECOMP
2007
Springer
16 years 28 days ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
HASKELL
2006
ACM
16 years 24 days ago
GenI: natural language generation in Haskell
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
Eric Kow
FLOPS
2004
Springer
16 years 6 days ago
Basic Pattern Matching Calculi: a Fresh View on Matching Failure
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
Wolfram Kahl