1805 search results - page 23 / 361 » Functional programming with structured graphs |
ICDT
1997
ACM
13 years 11 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
ISCIS
2009
Springer
14 years 2 months ago
2009
Springer
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
DAM
1999
13 years 7 months ago
1999
Molecular biology which aims to study DNA and protein structure and functions, has stimulated research in di erent scienti