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
31
views
42
references
Top references
cited by
9
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,569
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Verifying Procedural Programs via Constrained Rewriting Induction
Author(s):
Carsten Fuhs
1
,
Cynthia Kop
2
,
Naoki Nishida
3
Publication date
Created:
June 23 2017
Publication date
(Print):
June 02 2017
Journal:
ACM Transactions on Computational Logic
Publisher:
Association for Computing Machinery (ACM)
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
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
Procedural speed in criminal law
Most cited references
42
Record
: found
Abstract
: not found
Article
: not found
Recursive functions symbolic expressions and their computation by machine, Part I
John F McCarthy
(1960)
0
comments
Cited
92
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Secure Information Flow as a Safety Problem
Tachio Terauchi
,
Alex Aiken
(2005)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Translation validation
A. Pnueli
,
M. Siegel
,
E Singerman
(1998)
0
comments
Cited
30
times
– based on
0
reviews
Bookmark
All references
Author and article information
Journal
Title:
ACM Transactions on Computational Logic
Abbreviated Title:
ACM Trans. Comput. Logic
Abbreviated Title:
TOCL
Publisher:
Association for Computing Machinery (ACM)
ISSN (Print):
15293785
Publication date Created:
June 23 2017
Publication date (Print):
June 02 2017
Volume
: 18
Issue
: 2
Pages
: 1-50
Affiliations
[
1
]
Birkbeck, University of London, London, United Kingdom
[
2
]
University of Innsbruck and University of Copenhagen, København, S, Denmark
[
3
]
Nagoya University, Nagoya, Japan
Article
DOI:
10.1145/3060143
SO-VID:
dd71de92-2deb-46cd-a5d4-a17c562024ac
Copyright ©
© 2017
License:
http://www.acm.org/publications/policies/copyright_policy#Background
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,569
Rewriting Africa's Single-Story Narrative: Lessons from the Darmasiswa Indonesia Scholarship Program
Authors:
Silas O. Emovwodo
,
Maybe Zengenene
,
Laurent Andriamalala
The Nobel Prize in Chemistry 2020. Genetic scissors: a tool for rewriting the code of life
Authors:
Novel scenarios of early animal evolution--is it time to rewrite textbooks?
Authors:
Martin Dohrmann
,
Gert Wörheide
See all similar
Cited by
9
A Static Higher-Order Dependency Pair Framework
Authors:
Carsten Fuhs
,
Cynthia Kop
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems
Authors:
Dorel Lucanu
,
Ştefan Ciobâcă
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction
Authors:
Shinnosuke Mizutani
,
Naoki Nishida
See all cited by
Most referenced authors
234
D. RODRÍGUEZ
L Moura
S Lucas
See all reference authors