TACS
1991
Springer
13 years 11 months ago
1991
Springer
TACS
1991
Springer
13 years 11 months ago
1991
Springer
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
TACS
1991
Springer
13 years 11 months ago
1991
Springer
SDE
1991
13 years 11 months ago
1991
SDE
1991
13 years 11 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
ICSM
1994
IEEE
13 years 11 months ago
1994
IEEE
PEPM
1991
ACM
13 years 11 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...