Sciweavers

9049 search results - page 38 / 1810
» The New C Standard
Sort
View

Book
1455views
16 years 10 months ago
Introduction to Object-Oriented Programming using C++
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.
Peter Müller
POPL
2007
ACM
16 years 3 days ago
Towards a mechanized metatheory of standard ML
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
Daniel K. Lee, Karl Crary, Robert Harper
KES
2009
Springer
15 years 6 months ago
Domain Modeling Based on Engineering Standards
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Carlos Toro, Manuel Graña, Jorge Posada, Ja...
SACRYPT
1999
Springer
119views Cryptology» more  SACRYPT 1999»
15 years 4 months ago
A Universal Encryption Standard
Abstract. DES and triple-DES are two well-known and popular encryption algorithms, but they both have the same drawback: their block size is limited to 64 bits. While the cryptogra...
Helena Handschuh, Serge Vaudenay