Logo del repository
  1. Home
 
Opzioni

Nesting Analysis of Mobile Ambients

BRAGHIN C.
•
CORTESI A.
•
FOCARDI R.
altro
PIAZZA C
2004
  • journal article

Periodico
COMPUTER LANGUAGES, SYSTEMS & STRUCTURES
Abstract
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Seidl. The improvements are achieved by enhancing the data structure representations, and by reducing the computation to the control flow analysis constraints that are effectively necessary to get to the least solution. These theoretical results are also supported by experimental tests run on a Java-based tool that implements a suite of algorithms for nesting analysis of mobile ambients.
DOI
10.1016/j.cl.2004.02.004
WOS
WOS:000223464200005
SCOPUS
2-s2.0-3242657066
Archivio
http://hdl.handle.net/11390/689041
Diritti
metadata only access
Scopus© citazioni
3
Data di acquisizione
Jun 7, 2022
Vedi dettagli
Web of Science© citazioni
2
Data di acquisizione
Jun 3, 2022
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback