1805 search results - page 239 / 361 » Functional programming with structured graphs |
110
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
131
Voted
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
131
click to vote
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
100
click to vote
APSEC
2003
IEEE
15 years 6 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
154
click to vote
CLA
2007
15 years 3 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...