skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Swarm Contracts: Smart Contracts in Robotic Swarms with Varying Agent Behavior
Award ID(s):
1718755
PAR ID:
10292232
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
IEEE International Conference on Blockchain (Blockchain)
Page Range / eLocation ID:
265 to 272
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; (, Journal of Functional Programming)
    Abstract Behavioral software contracts allow programmers to strengthen the obligations and promises that they express with conventional types. They lack expressive power, though, when it comes to invariants that hold across several function calls. Trace contracts narrow this expressiveness gap. A trace contract is a predicate over the sequence of values that flow through function calls and returns. This paper presents a principled design, an implementation, and an evaluation of trace contracts. 
    more » « less
  2. ; ; ; ; (, Declarative Smart Contracts)
  3. ; ; ; (, ACM)
  4. ; ; (, Proceedings of the ACM on Programming Languages)
    Software contracts empower programmers to describe functional properties of components. When it comes to constraining effects, though, the literature offers only one-off solutions for various effects. It lacks a universal principle. This paper presents the design of an effectful contract system in the context of effect handlers. A key metatheorem shows that contracts cannot unduly interfere with a program’s execution. An implementation of this design, along with an evaluation of its generality, demonstrates that the theory can guide practice. 
    more » « less
  5. ; ; (, SIAM Journal on Computing)
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email