Sciweavers

Share
ICFP
2007
ACM
9 years 11 months ago
Evaluating high-level distributed language constructs
Jan Henry Nyström, Philip W. Trinder, David J...
ICFP
2007
ACM
9 years 11 months ago
Experience report: the reactis validation tool
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
Steve Sims, Daniel C. DuVarney
ICFP
2007
ACM
9 years 11 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
ICFP
2007
ACM
10 years 7 months ago
Experience report: scheme in commercial web application development
Over the past year Untyped has developed some 40'000 lines of Scheme code for a variety of web-based applications, which receive over 10'000 hits a day. This is, to our ...
Noel Welsh, David Gurnell
ICFP
2007
ACM
10 years 7 months ago
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
ICFP
2007
ACM
10 years 7 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
ICFP
2007
ACM
10 years 7 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
ICFP
2007
ACM
10 years 7 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
ICFP
2007
ACM
10 years 7 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...
books