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
18
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,070
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
Bookmark
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
Socioecological systems
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,070
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems
Authors:
Oliver Theel
,
Eike Möhlmann
Proving a theorem (as done by man, logician, or machine)
Authors:
Standardisation of an Agroinfiltration Protocol for Eggplant Fruits and Proving its Usefulness by Over-expressing the SmHQT Gene
Authors:
Prashant Kaushik
,
P. Kaushik
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