default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN Notices, Volume 43, 2008
Volume 43, Number 1, January 2008
- George C. Necula, Philip Wadler:
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM 2008, ISBN 978-1-59593-689-9 [contents]
Volume 43, Number 2, February 2008
- John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara:
VDMTools: advances in support for formal modeling in VDM. 3-11 - Jia Lv, Ying Jing, Minghui Wu, Canghong Jin:
Crosscutting invariant and an efficient checking algorithm using program slicing. 12-20 - Ju Qian, Baowen Xu
:
Program slicing under UML scenario models. 21-24 - Danfeng Zhang, Yao Guo, Xiangqun Chen:
AspectC2C: a symmetric aspect extension to the C language. 25-32
Volume 43, Number 3, March 2008
- Susan J. Eggers, James R. Larus:
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008. ACM 2008, ISBN 978-1-59593-958-6 [contents]
Volume 43, Number 4, April 2008
- Ce Yu, Zhen Xu, Ji-zhou Sun, Xiao-jing Meng, Yan-yan Huang, Hua-bei Wu:
ParaModel: a visual modeling and code skeleton generation system for programming parallel applications. 4-10 - Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi:
A parallel dynamic compiler for CIL bytecode. 11-20 - Yangyi Sui, Jun Lin, Xiaotuo Zhang:
An automated refactoring tool for dataflow visual programming language. 21-28
Volume 43, Number 5, May 2008
- James Hook, Michael Sperber:
The ICFP developer conference 2008. 3-4
- Paul Frenger:
Hard Java. 5-9
- Babak Falsafi, Pascal Felber:
Introduction. 10 - Mark W. Bailey:
TRANSACT 2008 paper abstracts. 11-14 - Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc:
Single global lock semantics in a weakly atomic STM. 15-26
Volume 43, Number 6, June 2008
- Rajiv Gupta, Saman P. Amarasinghe:
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. ACM 2008, ISBN 978-1-59593-860-2 [contents]
Volume 43, Number 7, July 2008
- Krisztián Flautner, John Regehr:
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008. ACM 2008, ISBN 978-1-60558-104-0 [contents]
Volume 43, Number 8, August 2008
- Kathryn S. McKinley:
Improving publication quality by reducing bias with double-blind reviewing and author response.
- Richard E. Jones, Stephen M. Blackburn:
International symposium of memory management (ISMM 2008). - Mark W. Bailey:
ISMM 2008 paper abstracts.
Volume 43, Number 9, September 2008
- James Hook, Peter Thiemann:
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. ACM 2008, ISBN 978-1-59593-919-7 [contents]
Volume 43, Number 10, September 2008
- Gail E. Harris:
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA. ACM 2008, ISBN 978-1-60558-215-3 [contents]
Volume 43, Number 11, November 2008
- Kathleen Fisher, Chandra Krintz:
SIGPLAN programming language curriculum workshop: Workshop organization. 1-6 - Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. 6-29 - Kathleen Fisher, Chandra Krintz:
SIGPLAN programming language curriculum workshop: Workshop report summary. 29-30
- Eric Allen:
Some things that computer science majors should know. 32-35 - Mark W. Bailey:
Injecting programming language concepts throughout the curriculum: an inclusive strategy. 36-38 - Rastislav Bodík:
Small languages in an undergraduate PL/Compiler course. 39-44 - Kim B. Bruce, Stephen N. Freund:
Programming languages in a liberal arts education. 45-49 - Kim B. Bruce, Stephen N. Freund:
Programming languages as part of core computer science. 50-54 - William R. Cook:
High-level problems in teaching undergraduate programming languages. 55-58 - Matthias Felleisen:
Why teach programming languages in this day and age and how to go about it. 59-61 - Kathleen Fisher:
We need more than one: why students need a sophisticated understanding of programming languages. 62-65 - Kathi Fisler:
Implementing domain-specific languages as the foundation of an honors intro CS course. 66-70 - Robert Harper:
Position paper: practical foundations for lrogramming languages. 71-73 - Michael Hind:
Addressing the disconnect between the good and the popular. 74-76 - John Hughes:
Experiences from teaching functional programming at Chalmers. 77-80 - Shriram Krishnamurthi:
Teaching programming languages in a post-linnaean age. 81-83 - James R. Larus:
PL research and its consequences on PL curriculum. 84-86 - Doug Lea, David F. Bacon, David Grove:
Languages and performance engineering: method, instrumentation, and pedagogy. 87-92 - Gary T. Leavens:
Use concurrent programming models to motivate teaching of programming languages. 93-98 - Lori L. Pollock:
Rethinking pedagogy for teaching PL with more than PL concepts in mind. 99-103 - Stuart Reges:
Marketing the programming languages course. 104-107 - John C. Reynolds:
Some thoughts on teaching programming and programming languages. 108-110 - Martin C. Rinard:
Using programming language concepts to teach general thinking skills. 111-118 - Peter Sestoft:
Programming language concepts for software developers. 119-123 - Mark A. Sheldon, Franklyn A. Turbak:
An aspect-oriented approach to the undergraduate programming language curriculum. 124-129 - Olin Shivers:
Why teach programming languages. 130-132 - Mitchell Wand, Daniel P. Friedman:
Programming languages: fundamental concepts for expanding and disciplining the mind. 133-135
Volume 43, Number 12, December 2008
- Marco Pistoia, Úlfar Erlingsson:
Workshop on programming languages and analysis for security (PLAS 2008). 3-4 - Marco Pistoia, Úlfar Erlingsson:
PLAS 2008 paper abstracts. 5-8 - Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani:
A type system for data-flow integrity on Windows Vista. 9-20 - Nikhil Swamy, Michael Hicks:
Verified enforcement of stateful information release policies. 21-31 - Marco Pistoia, Úlfar Erlingsson:
Programming languages and program analysis for security: a three-year retrospective. 32-39
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.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
