Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540625032, 9783540680529

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Polymorphic subtyping for effect analysis: The dynamic semantics

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_9 ◽

1997 ◽

pp. 172-206 ◽

Cited By ~ 3

Author(s):

Torben Amtoft ◽

Flemming Nielson ◽

Hanne Riis Nielson ◽

Jürgen Ammann

Keyword(s):

Dynamic Semantics ◽

Effect Analysis

Download Full-text

Type checking for a multiset rewriting language

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_7 ◽

1997 ◽

pp. 126-140

Author(s):

Pascal Fadet ◽

Dniel le M'etayer

Keyword(s):

Type Checking

Download Full-text

Priorities in Statecharts

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_19 ◽

1997 ◽

pp. 404-429 ◽

Cited By ~ 2

Author(s):

Andrea Maggiolo-Schettini ◽

Massimo Merro

Download Full-text

Parallel implementation of functional languages

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_13 ◽

1997 ◽

pp. 279-295 ◽

Cited By ~ 2

Author(s):

R. Wilhelm ◽

M. Alt ◽

F. Martin ◽

M. Raber

Keyword(s):

Parallel Implementation ◽

Functional Languages

Download Full-text

Implementing a static analyzer of concurrent programs: Problems and perspectives

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_11 ◽

1997 ◽

pp. 244-259 ◽

Cited By ~ 3

Author(s):

Régis Cridlig

Keyword(s):

Concurrent Programs

Download Full-text

Abstract interpretation of small-step semantics

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_4 ◽

1997 ◽

pp. 76-99 ◽

Cited By ~ 9

Author(s):

David A. Schmidt

Keyword(s):

Abstract Interpretation ◽

Small Step

Download Full-text

A process language for statecharts

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_18 ◽

1997 ◽

pp. 388-403

Author(s):

Francesca Levi

Download Full-text

Analysis of Facile programs: A case study

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_16 ◽

1997 ◽

pp. 345-369

Author(s):

Pierpaolo Degano ◽

Corrado Priami ◽

Lone Leth ◽

Bent Thomsen

Download Full-text

Polyvariance, polymorphism and flow analysis

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_12 ◽

1997 ◽

pp. 260-278 ◽

Cited By ~ 4

Author(s):

Karl-Filip Faxén

Keyword(s):

Flow Analysis

Download Full-text

Polymorphic subtyping for effect analysis: The algorithm

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-62503-8_10 ◽

1997 ◽

pp. 207-243 ◽

Cited By ~ 6

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Torben Amtoft

Keyword(s):

Effect Analysis

Download Full-text

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Polymorphic subtyping for effect analysis: The dynamic semantics

Type checking for a multiset rewriting language

Priorities in Statecharts

Parallel implementation of functional languages

Implementing a static analyzer of concurrent programs: Problems and perspectives

Abstract interpretation of small-step semantics

A process language for statecharts

Analysis of Facile programs: A case study

Polyvariance, polymorphism and flow analysis

Polymorphic subtyping for effect analysis: The algorithm

Analysis and Verification of Multiple-Agent Languages - Lecture Notes in Computer Science
Latest Publications