1805 search results - page 258 / 361 » Functional programming with structured graphs |
143
Voted
JSA
2008
15 years 1 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
228
click to vote
WAW
2010
Springer
15 years 8 days ago
2010
Springer
We introduce a new geometric, rank-based model for the link structure of on-line social networks (OSNs). In the geo-protean (GEO-P) model for OSNs nodes are identified with points ...
125
click to vote
AAAI
1998
15 years 3 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
117
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
124
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...