Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
26
views
31
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,882
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Programming Languages and Systems
Automatic Termination Verification for Higher-Order Functional Programs
other
Author(s):
Takuya Kuwahara
,
Tachio Terauchi
,
Hiroshi Unno
,
Naoki Kobayashi
Publication date
(Print):
2014
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Higher order chromatin architecture
Most cited references
31
Record
: found
Abstract
: not found
Book Chapter
: not found
Z3: An Efficient SMT Solver
Leonardo de Moura
,
Nikolaj Bjørner
(2008)
0
comments
Cited
131
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Lazy Abstraction with Interpolants
Kenneth McMillan
(2006)
0
comments
Cited
79
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski
,
Andrey Rybalchenko
(2004)
0
comments
Cited
68
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2014
Pages
: 392-411
DOI:
10.1007/978-3-642-54833-8_21
SO-VID:
3ab8f8fe-ea8c-46f2-a314-27f6b17fd0f7
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 27
An Array-Oriented Language with Static Rank Polymorphism
pp. 189
A Coq Formalization of the Relational Data Model
pp. 128
Verifying an Open Compiler Using Multi-language Semantics
pp. 149
Impredicative Concurrent Abstract Predicates
pp. 209
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
pp. 290
Communicating State Transition Systems for Fine-Grained Concurrent Resources
pp. 331
Bounded Linear Types in a Resource Semiring
pp. 392
Automatic Termination Verification for Higher-Order Functional Programs
Similar content
1,882
Based on the network pharmacology method to analyze the mechanism and experimental verification of astilbin in the intervention of osteoarthritis
Authors:
S. WEI
,
Z Yumin
,
M. Tao
…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Authors:
Cesar Sanchez
,
Gerardo Schneider
,
Wolfgang Ahrendt
…
Comprehensive analysis of ferroptosis-related gene signatures as a potential therapeutic target for acute myeloid leukemia: A bioinformatics analysis and experimental verification
Authors:
Zhiyuan Zheng
,
Xiaoying Hong
,
Xiaoxue Huang
…
See all similar
Cited by
8
Automatic Termination Verification for Higher-Order Functional Programs
Authors:
Takuya Kuwahara
,
Tachio Terauchi
,
Hiroshi Unno
…
Refinement Type Inference via Horn Constraint Optimization
Authors:
Kodai Hashimoto
,
Hiroshi Unno
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs
Authors:
Takuya Kuwahara
,
Ryosuke Sato
,
Hiroshi Unno
…
See all cited by