MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Note on "Protecting Against Uninitialized Abstract Objects In Modula-2"." – sorted by Relevance.

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

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

676,100 documents found, showing 1 through 10. Next 10 →

ATOM

The Modula-2 Proving System MOPS
by Th. Kaiser, Th. Kaiser, B. Fischer, B. Fischer, W. Struckmann, W. Struckmann, Abteilung Programmierung, Abteilung Programmierung, Technische Universitat Braunschweig, Technische Universitat Braunschweig — 2000
… describe the MOdula-2 Proving System MOPS. It is a Hoare-calculus based program verication system for a…
Add To MetaCart

Algebraic Operational Semantics and Modula-2
by Yuri Gurevich, James M. Morris
… account of all of a language's constructs. Languages like Modula-2 that are designed for (among other…
Cited by 16 (2 self) – Add To MetaCart

Experience with Garbage Collection for Modula-2+ in the Topaz Environment
by John DeTreville — 1990 — In OOPSLA/ECOOP '90 Workshop on Garbage Collection in Object-Oriented Systems
…-oriented style. Modula-3 [3] is a recent object-oriented refinement of Modula-2+ that is also used at SRC…
Cited by 4 (0 self) – Add To MetaCart

. Introduction to Modula-2. Validation Suite Reports. Announcements
by Path Pascal
… by Stephen Kindel, on March 28, 1983, he noted that 2% of the households in the U.S.A. own computers of one…
Add To MetaCart

Modula-2*: Language Overview
by Michael Philippsen
…, parallel procedures can only be used in a fraction of the cases where they would be useful. Modula-2…
Cited by 1 (0 self) – Add To MetaCart

Exposing uninitialized variables: Strengthening and extending run-time checks in ada
by Robert Dewar, Olivier Hainque, Dirk Craeynest — 2002 — Reliable Software Technologies — Ada-Europe 2002, number 2361 in Lecture Notes in Computer Science
… warnings. 2.2 Detecting Uninitialized Variables at Run Time Purify-like Solutions: Purify is a well…
Cited by 1 (0 self) – Add To MetaCart

Teaching Programming to the Uninitiated using Mathematica
by Bernhard K. Aichernig — 1998
… for Software Technology, Technical University Graz, Muenzgrabenstrasze 11/2, A-8010 Graz, Austria, Europe (e…
Cited by 1 (1 self) – Add To MetaCart

Protecting against unexpected system calls
by C. M. Linn, M. Rajagopalan, S. Baker, C. Collberg, S. K. Debray, J. H. Hartman — 2005 — In Proceedings of the 14th USENIX Security Symposium
… uninitialized data, and a.got section that contains the global offset table (this is discussed more in Section 2…
Cited by 4 (0 self) – Add To MetaCart

Data and Process Alignment in Modula-2*
by Michael Philippsen, Markus U. Mock, D-?s Karlsruhe F. R. G — 1993
… the statement execution onto the processors accordingly. Modula-2*, however, is not a purely data…
Cited by 3 (2 self) – Add To MetaCart

The Modula-2* Environment for Parallel Programming
by Stefan Hangen Ernst, Ernst A. Heinz, Paul Lukowicz, Walter F. Tichy, Fakultat Fur Informatik — 1993 — In Proceedings of the Working Conference on Massively Parallel Programming Models
…, September 20--22, 1993 The Modula-2* Environment for Parallel Programming Stefan U. Hangen, Ernst A. Heinz…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB