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
24
views
0
references
Top references
cited by
0
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,171
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
other
Editor(s):
Bruno C. d. S. Oliveira
Publication date
(Print):
2020
Publisher:
Springer International Publishing
Read this book at
Publisher
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
Smart Contracts Programming Languages
Author and book information
Contributors
Bruno C. d. S. Oliveira:
(View ORCID Profile)
Book
ISBN (Print):
978-3-030-64436-9
ISBN (Electronic):
978-3-030-64437-6
Publication date (Print):
2020
DOI:
10.1007/978-3-030-64437-6
SO-VID:
57d052cb-c3e0-4371-892c-060437641e8a
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
A Set-Based Context Model for Program Analysis
pp. 25
Declarative Stream Runtime Verification (hLola)
pp. 44
Formal Verification of Atomicity Requirements for Smart Contracts
pp. 67
Neural Networks, Secure by Construction
pp. 86
A New Refinement Type System for Automated $$\nu \text {HFL}_\mathbb {Z}$$ Validity Checking
pp. 105
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
pp. 125
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
pp. 147
An Abstract Machine for Strong Call by Value
pp. 167
Certified Semantics for Relational Programming
pp. 186
Algebraic and Coalgebraic Perspectives on Interaction Laws
pp. 209
Stack-Driven Program Generation of WebAssembly
pp. 231
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
pp. 251
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
pp. 273
Parameterized Synthesis with Safety Properties
pp. 293
Relational Synthesis for Pattern Matching
pp. 311
REFINITY to Model and Prove Program Transformation Rules
pp. 323
A Counterexample-Guided Debugger for Non-recursive Datalog
pp. 343
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
pp. 364
$$\mathsf{P}^{3}$$: A Profiler Suite for Parallel Applications on the Java Virtual Machine
Similar content
2,171
A fast processing route of aspheric polydimethylsiloxane lenses array (APLA) and optical characterization for smartphone microscopy
Authors:
Zheng-Hong Lai
,
Yiin-Kuen Fuh
Branch retinal artery occlusion as a presenting feature of apla syndrome and homocysteinemia
Authors:
R Agarwal
,
V Veerwal
,
P JAIN
APLA: indexing arbitrary probability distributions
Authors:
V Ljosa
,
AK Singh
See all similar