Sciweavers

956 search results - page 72 / 192
» Languages as libraries
Sort
View
ML
2006
ACM
103views Machine Learning» more  ML 2006»
14 years 4 months ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
PADL
2005
Springer
14 years 3 months ago
Functional Framework for Sound Synthesis
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
Jerzy Karczmarczuk
VL
1996
IEEE
105views Visual Languages» more  VL 1996»
14 years 2 months ago
Composing Complex Behavior from Simple Visual Descriptions
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
Roland Hübscher
ACMSE
2004
ACM
14 years 3 months ago
Specification-driven automated testing of GUI-based Java programs
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
Yanhong Sun, Edward L. Jones
DL
1997
Springer
117views Digital Library» more  DL 1997»
14 years 2 months ago
Evaluating the Cost of Boolean Query Mapping
Non-uniform query languages make searching over heterogeneous information sources difficult. Our approach is to allow a user to compose Boolean queries in one rich front-end lang...
Kevin Chen-Chuan Chang, Hector Garcia-Molina