Sciweavers

956 search results - page 8 / 192
» Languages as libraries
Sort
View
ECOOP
2005
Springer
14 years 2 months ago
Static Deadlock Detection for Java Libraries
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
Amy Williams, William Thies, Michael D. Ernst
DSL
1997
13 years 10 months ago
DiSTiL: A Transformation Library for Data Structures
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
Yannis Smaragdakis, Don S. Batory
OOPSLA
2009
Springer
14 years 3 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
14 years 3 months ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
ICFP
2010
ACM
13 years 10 months ago
Total parser combinators
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...
Nils Anders Danielsson