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
44
views
29
references
Top references
cited by
4
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,964
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Generic Programming
Concrete Generic Functionals
other
Author(s):
Raymond T. Boute
Publication date
(Print):
2003
Publisher:
Springer US
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
ScienceOpen Research
Most cited references
29
Record
: found
Abstract
: not found
Book
: not found
A Compendium of Continuous Lattices
Gerhard Gierz
,
Karl Hofmann
,
Klaus Keimel
…
(1980)
0
comments
Cited
43
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Predicate Calculus and Program Semantics
Edsger W. Dijkstra
,
Carel Scholten
(1990)
0
comments
Cited
37
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Subtypes for specifications: predicate subtyping in PVS
J. Rushby
,
S. Owre
,
N Shankar
(1998)
0
comments
Cited
12
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2003
Pages
: 89-119
DOI:
10.1007/978-0-387-35672-3_5
SO-VID:
cfe759d0-e2c2-46d8-814d-476c5ca1c449
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 127
Making the Usage of STL Safe
pp. 89
Concrete Generic Functionals
Similar content
1,964
Properties of Engineered Cementitious Composite Concrete (Bendable Concrete) Produced Using Portland Limestone Cement
Authors:
I. Al-Mulla
,
A. Al-Rihimy
,
M. S. Abd Alameer
The greening of the concrete industry
Authors:
C. Meyer
Mechanistic Seismic Damage Model for Reinforced Concrete
Authors:
Alfredo H.‐S. Ang
,
Young‐Ji Park
See all similar
Cited by
4
Using Domain-Independent Problems for Introducing Formal Methods
Authors:
Raymond Boute
Why mathematics needs engineering
Authors:
Raymond Boute
The Timer Cascade: Functional Modelling and Real Time Calculi
Authors:
Raymond Boute
,
Andreas Schäfer
See all cited by