Остановите войну!
for scientists:
default search action
Mary Shaw
Publications
- 1998
- [j24]David D. Clark, Edward A. Feigenbaum, Donald P. Greenberg, Juris Hartmanis, Robert W. Lucky, Robert Metcalfe, Raj Reddy, Mary Shaw, William A. Wulf:
Innovation and Obstacles: The Future of Computing. Computer 31: 29-38 (1998) - 1992
- [c21]Mary Shaw, William A. Wulf:
Toward relaxing assumptions in languages and the1r implementations. ICCL 1992: 202-211 - 1983
- [b1]Peter G. Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman:
Studies in Ada style (2. ed.). Springer 1983, ISBN 978-0-387-90816-8, pp. 1-111 - 1981
- [j17]Mary Shaw, Guy T. Almes, Joseph M. Newcomer, Brian K. Reid, William A. Wulf:
A Comparison of Programming Languages for Software Engineering. Softw. Pract. Exp. 11(1): 1-52 (1981) - 1980
- [j14]Mary Shaw, William A. Wulf:
Toward relaxing assumptions in languages and their implementations. ACM SIGPLAN Notices 15(3): 45-61 (1980) - 1978
- [j12]Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: reference manual. ACM SIGPLAN Notices 13(9): 36-58 (1978) - [j11]Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: notes and examples. ACM SIGPLAN Notices 13(9): 59-75 (1978) - [c6]Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf:
Validating The Utility Of Abstraction Techniques. ACM Annual Conference (1) 1978: 106-110 - [c5]Paul N. Hilfinger, Mary Shaw, William A. Wulf:
Introducing "theory" in the second programming course. SIGCSE 1978: 55-58 - [c4]Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf:
A fundamental computer science course that unifies theory and practice. SIGCSE/CSA 1978: 255-259 - 1977
- [j9]Mary Shaw, William A. Wulf, Ralph L. London:
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Commun. ACM 20(8): 553-564 (1977) - [j8]Mary Shaw, Joseph F. Traub:
Selection of Good Algorithms from a Family of Algorithms for Polynomial Derivative Evaluation. Inf. Process. Lett. 6(5): 141-145 (1977) - 1976
- [j7]William A. Wulf, Ralph L. London, Mary Shaw:
An Introduction to the Construction and Verification of Alphard Programs. IEEE Trans. Software Eng. 2(4): 253-265 (1976) - [c3]William A. Wulf, Ralph L. London, Mary Shaw:
An Introduction to the Construction and Verification of Alphard Programs (Abstract). ICSE 1976: 390 - 1974
- [j5]Mary Shaw, Joseph F. Traub:
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives. J. ACM 21(1): 161-167 (1974) - 1973
- [j3]William A. Wulf, Mary Shaw:
Global variable considered harmful. ACM SIGPLAN Notices 8(2): 28-34 (1973) - 1972
- [c1]Mary Shaw, Joseph F. Traub:
On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives. SWAT 1972: 105-107
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint