loading...
All-Purpose Quantifiers
Beijing, China September 22-September 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713582Technology of Object-Oriented Languag ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Darius Blasband, Jean-Christophe Real, "All-Purpose Quantifiers," Technology of Object-Oriented Languages, International Conference on, pp. 8, Technology of Object-Oriented Languages and Systems, 1998.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1998.713582,
author = {Darius Blasband and Jean-Christophe Real},
title = {All-Purpose Quantifiers},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-9096-8},
pages = {8},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713582},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - All-Purpose Quantifiers
SN - 0-8186-9096-8
SP
EP
A1 - Darius Blasband,
A1 - Jean-Christophe Real,
PY - 1998
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Darius Blasband, Phidani Software SPRL
Jean-Christophe Real, Universite Libre de Bruxelles
This paper describes the introduction of quantifiers in a third generation language in order to reduce the semantic gap between specifications and code. Some extensions of the quantifier's mechanism beyond the pure mathematical formalism are presented, as well as implementation issues.
Citation:
Darius Blasband, Jean-Christophe Real, "All-Purpose Quantifiers," tools, pp.8, Technology of Object-Oriented Languages and Systems, 1998
Usage of this product signifies your acceptance of the Terms of Use.