Positive Sharing and Abstract Machines

2026
OriginalPaper
Buchkapitel

Erschienen in:

Verfasst von: Beniamino Accattoli; Claudio Sacerdoti Coen; Jui-Hsuan Wu
Erschienen in: Programming Languages and Systems
Verlag: Springer Nature Singapore

Erstes Kapitel lesen Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Das Kapitel geht der Effizienz von Wus Positiv-Kalkül nach, einer Variante des -Kalküls, die darauf abzielt, die Teilungsmechanismen zu verbessern und Ineffizienzen zu verringern. Er untersucht das Konzept der Umbenennung von Ketten, die ein häufiges Problem in Sharing-basierten Systemen sind, und wie die Positivrechnung dieses Problem löst. Die Studie stellt den Sliced POM vor, eine optimierte abstrakte Maschine, die Ineffizienzen bei der natürlichen Umsetzung der Positivrechnung behebt. Der Text enthält außerdem eine Komplexitätsanalyse des Sliced POM, die seinen bilinearen Overhead demonstriert, und eine OCaml-Implementierung zur praktischen Validierung. Zusätzlich werden in diesem Kapitel die allgemeineren Implikationen des positiven Teilens und seine potenziellen Anwendungen in verschiedenen rechnerischen Kontexten diskutiert.

KI-Generiert

Diese Zusammenfassung des Fachinhalts wurde mit Hilfe von KI generiert.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Jetzt einloggen Kostenlos registrieren

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Expressive Power of One-Shot Control Operators and Coroutines

Nächstes Kapitel IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation

Metadaten
Fußnoten
Literatur

Titel: Positive Sharing and Abstract Machines
Verfasst von: Beniamino Accattoli
Claudio Sacerdoti Coen
Jui-Hsuan Wu
Verlag: Springer Nature Singapore
Buch: Programming Languages and Systems
Print ISBN: 978-981-9535-84-2

Electronic ISBN: 978-981-9535-85-9

Copyright-Jahr: 2026
DOI: https://doi.org/10.1007/978-981-95-3585-9_6

Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.