Sciweavers

11653 search results - page 4 / 2331
» The Development of the C Language
Sort
View
OOPSLA
2007
Springer
14 years 1 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
14 years 1 months ago
Experience with ANSI C Markup Language for a Cross-Referencer
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...
Hayato Kawashima, Katsuhiko Gondow
PTS
2008
109views Hardware» more  PTS 2008»
13 years 9 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
MSE
2003
IEEE
92views Hardware» more  MSE 2003»
14 years 1 months ago
On simulating the IP Market Dynamics in an Academic Environment Using SystemC
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...
Ghaiyyur Quraishi, Ravi Shankar
ECOOP
2010
Springer
13 years 9 months ago
Adding Dynamic Types to C#
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
Gavin M. Bierman, Erik Meijer, Mads Torgersen