ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
19
views
0
references
Top references
cited by
20
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,003
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Proving the correctness of reactive systems using sized types
proceedings-article
Author(s):
John Hughes
,
Lars Pareto
,
Amr Sabry
Publication date
(Print):
1996
Publication date
(Print):
1996
Conference name:
the 23rd ACM SIGPLAN-SIGACT symposium (POPL '96)
Conference date:
February 21, 1996 - February 24, 1996
Read this article at
ScienceOpen
Publisher
Further versions
open (via free pdf)
Powered by
Review
Review article
Invite someone to review
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genome Engineering using CRISPR
Author and article information
Conference
Publication date (Print):
1996
Publication date (Print):
1996
Pages
: 410-423
Article
DOI:
10.1145/237721.240882
SO-VID:
0ed4249f-ff9f-48b2-9dbd-4058267e672c
Copyright ©
© 1996
Conference name:
the 23rd ACM SIGPLAN-SIGACT symposium
Conference acronym:
POPL '96
Conference number:
23
Conference location:
St. Petersburg Beach, Florida, United States
Conference date:
February 21, 1996 - February 24, 1996
Conference sponsor:
SIGPLAN, ACM Special Interest Group on Programming Languages
Conference sponsor:
SIGACT, ACM Special Interest Group on Algorithms and Computation Theory
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
3,003
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability
Authors:
Christian G Fermüller
,
Agata Ciabattoni
,
Matthias Baaz
Communication—Proving the Importance of Pt-Interlayer Position in PEMWE Membranes for the Effective Reduction of the Anodic Hydrogen Content
Authors:
Agate Martin
,
Dunia Abbas
,
Patrick Trinke
…
The ultimate challenge: prove B. F. Skinner wrong.
Authors:
Paul Chance
See all similar
Cited by
20
Stack Size Analysis for Interrupt-Driven Programs
Authors:
Krishnendu Chatterjee
,
Di Ma
,
Rupak Majumdar
…
Amortized Resource Analysis with Polynomial Potential
Authors:
Jan Hoffmann
,
Martin Hofmann
Dependent ML An approach to practical programming with dependent types
Authors:
HONGWEI XI
See all cited by