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: Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
Award ID(s):
2227863
PAR ID:
10547187
Author(s) / Creator(s):
; ; ; ; ; ; ; ;
Publisher / Repository:
Springer
Date Published:
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; ; (, IEEE Micro)
  2. ; ; ; ; (, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA))
  3. ; ; ; ; (, Proceedings of the annual ACMSIAM Symposium on Discrete Algorithms)
  4. ; (, 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
  5. ; ; (, Arnold Mathematical Journal)
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email