24 search results - page 4 / 5 » Separate Compilation of Polychronous Specifications |
191
Voted
POPL
2006
ACM
15 years 12 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
121
Voted
MPC
2010
Springer
15 years 1 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
WSC
1998
15 years 29 days ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
87
Voted
EP
1998
Springer
15 years 3 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
99
Voted
HOPL
2007
15 years 3 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...