3020 search results - page 7 / 604 » Type Analysis of Prolog Using Type Graphs |
GLVLSI
1998
IEEE
13 years 11 months ago
1998
IEEE
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
GG
2004
Springer
14 years 28 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...