Analysis and Verification of Multiple-Agent Languages

5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

AvMads Dam

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Produktinformation

Utgivningsdatum:1997-01-07
Mått:155 x 235 x 25 mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:444
Upplaga:1997
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540625032

Utforska kategorier

Programspråk inom Data och IT

Innehållsförteckning

Logical and operational methods in the analysis of programs and systems.- Proving properties of logic programs by abstract diagnosis.- Abstract interpretation of the ?-calculus.- Abstract interpretation of small-step semantics.- An overview of mobile agent programming.- Formalising and prototyping a concurrent object-based language.- Type checking for a multiset rewriting language.- Polymorphic subtyping for effect analysis: The static semantics.- Polymorphic subtyping for effect analysis: The dynamic semantics.- Polymorphic subtyping for effect analysis: The algorithm.- Implementing a static analyzer of concurrent programs: Problems and perspectives.- Polyvariance, polymorphism and flow analysis.- Parallel implementation of functional languages.- Mobile processes with local clocks.- Testing semantics of asynchronous distributed programs.- Analysis of Facile programs: A case study.- A non-standard semantics for generating reduced transition systems.- A process language for statecharts.- Priorities in Statecharts.

Mer från samma författare

Del 9417

Secure IT Systems

Sonja Buchegger, Mads Dam

Häftad, 2015

548 kr

Secure IT Systems

Mads Dam, Sonja Buchegger

E-bok

2015

657 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Secure IT Systems

Mads Dam, Sonja Buchegger

E-bok

2015

657 kr

Del 9417

Secure IT Systems

Sonja Buchegger, Mads Dam

Häftad, 2015

548 kr

Nyhet

Nya testamentet 2026 storpocket

Libris förlag

Häftad, 2026

149 kr

10% rabatt på allt

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

10% rabatt på allt

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

10% rabatt på allt

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Nyhet

Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

259 kr

10% rabatt på allt

Nya testamentet 2026 hårdband

Libris förlag

Inbunden, 2026

179 kr

Analysis and Verification of Multiple-Agent Languages

5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

AvMads Dam

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1997-01-07
Mått:155 x 235 x 25 mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:444
Upplaga:1997
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540625032

Utforska kategorier

Programspråk inom Data och IT

Innehållsförteckning

Logical and operational methods in the analysis of programs and systems.- Proving properties of logic programs by abstract diagnosis.- Abstract interpretation of the ?-calculus.- Abstract interpretation of small-step semantics.- An overview of mobile agent programming.- Formalising and prototyping a concurrent object-based language.- Type checking for a multiset rewriting language.- Polymorphic subtyping for effect analysis: The static semantics.- Polymorphic subtyping for effect analysis: The dynamic semantics.- Polymorphic subtyping for effect analysis: The algorithm.- Implementing a static analyzer of concurrent programs: Problems and perspectives.- Polyvariance, polymorphism and flow analysis.- Parallel implementation of functional languages.- Mobile processes with local clocks.- Testing semantics of asynchronous distributed programs.- Analysis of Facile programs: A case study.- A non-standard semantics for generating reduced transition systems.- A process language for statecharts.- Priorities in Statecharts.

Mer från samma författare

Del 9417

Secure IT Systems

Sonja Buchegger, Mads Dam

Häftad, 2015

548 kr

Secure IT Systems

Mads Dam, Sonja Buchegger

E-bok

2015

657 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051