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
7
views
0
references
Top references
cited by
2
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,236
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Formalization of Properties of Functional Programs
Author(s):
Zohar Manna
,
Amir Pnueli
Publication date:
1970
Journal:
Journal of the ACM (JACM)
Read this article at
ScienceOpen
Publisher
Further versions
open (via free pdf)
Powered by
Bookmark
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
Functional role of amyloid
Author and article information
Journal
DOI::
10.1145/321592.321606
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
5,236
The Rhode Island medical marijuana program: an exploratory study.
Authors:
Charles R Alexandre
Characteristics of HIV patients referred to a medication adherence program in Switzerland.
Authors:
Isabelle Krummenacher
,
Matthias Cavassini
,
Olivier Bugnon
…
The Effect of a Stretch and Strength-Based Yoga Exercise Program on Patients with Neuropathic Pain due to Lumbar Disc Herniation.
Authors:
Pelin Yildirim
,
Alper Gultekin
See all similar
Cited by
2
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
Authors:
Edmund Melson Clarke
Program analysis as constraint solving
Authors:
Sumit Gulwani
,
Saurabh Srivastava
,
Ramarathnam Venkatesan
See all cited by