Searching for "Physical Type Checking for C." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

Physical Type Checking for C
by Satish Chandra, Thomas Reps — 1999 — IN WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING
…Physical Type Checking for C Satish Chandra Thomas Reps Software Production Research Dept. Computer…
Cited by 36 (4 self) – Add To MetaCart

Exploring Legacy Systems Using Types
by Arie Van Deursen, Leon Moonen — 2000
… work based on type inferencing includes "physical type checking of C", which is a stronger form of type…
Cited by 7 (4 self) – Add To MetaCart

Exploring Legacy Systems Using
by Types Arie Van, Arie Deursen, Leon Moonen
… of component X of variable Y?” Other work based on type inferencing includes “physical type checking of C…
Add To MetaCart

Implicit Sleep Mode Determination in Power Management of Event-driven Deeply Embedded Systems........................................................................................ 37
by Hartmut Ritter, Kirsten Terfloth, Georg Wittenburg, Jochen Schiller (hrsg, Gi/itg Kuvs Fachgespräch, Drahtlose Sensornetze, Freie Universität, Freie Universität Berlin, Drahtlose Sensornetze, R. Sasnauskas, J. Á. Bitsch Link, M. H. Alizai, K. Wehrle, M. Stemick, A. Boah, H. Rohling, M. Baar, H. Will, J. Schiller, A. Dunkels, A. Reinhardt, M. Hollick, R. Steinmetz, Ch. Weyer, S. Unterschütz, V. Turau, M. H. Alizai, K. Wehrle, A. Becher, A. Sieber, K. Walther, R. Karnapke, A. Lagemann, J. Nolte — 2008
…. Reps. Physical type checking for C. SIGSOFT Softw. Eng. Notes, 1999. [4] H. Chen and D. Wagner. MOPS…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB