Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("GROSSMAN, Dan")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 19 of 19

  • Page / 1
Export

Selection :

  • and

Quantified types in an imperative languageGROSSMAN, Dan.ACM transactions on programming languages and systems. 2006, Vol 28, Num 3, pp 429-475, issn 0164-0925, 47 p.Article

High-Level Small-Step Operational Semantics for TransactionsMOORE, Katherine F; GROSSMAN, Dan.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 51-62, issn 1523-2867, 12 p.Conference Paper

Existential types for imperative languagesGROSSMAN, Dan.Lecture notes in computer science. 2002, pp 21-35, issn 0302-9743, isbn 3-540-43363-5Conference Paper

Type-safe multithreading in cycloneGROSSMAN, Dan.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 13-25, issn 1523-2867, 13 p.Conference Paper

A Theory of Platform-Dependent Low-Level SoftwareNITA, Marius; GROSSMAN, Dan; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 209-220, issn 1523-2867, 12 p.Conference Paper

Scalable certification for Typed Assembly LanguageGROSSMAN, Dan; MORRISETT, Greg.Lecture notes in computer science. 2001, pp 117-145, issn 0302-9743, isbn 3-540-42196-3Conference Paper

Searching for type-error messagesLEMER, Benjamin S; FLOWER, Matthew; GROSSMAN, Dan et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 425-434, issn 1523-2867, 10 p.Conference Paper

Contraception use and effectiveness among women in a trial of the diaphragm for HIV preventionBLANCHARD, Kelly; BOSTROM, Alan; MONTGOMERY, Elizabeth et al.Contraception (Stoneham). 2011, Vol 83, Num 6, pp 556-563, issn 0010-7824, 8 p.Article

Composable Specifications for Structured Shared-Memory CommunicationWOOD, Benjamin P; SAMPSON, Adrian; CEZE, Luis et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 140-159, issn 1523-2867, 20 p.Conference Paper

AtomCaml : First-class atomicity via rollbackRINGENBURG, Michael F; GROSSMAN, Dan.ACM SIGPLAN notices. 2005, Vol 40, Num 9, pp 92-104, issn 1523-2867, 13 p.Conference Paper

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded ExecutionBERGAN, Tom; ANDERSON, Owen; DEVIETTI, Joseph et al.ACM SIGPLAN notices. 2010, Vol 45, Num 3, pp 53-64, issn 1523-2867, 12 p.Conference Paper

Supporting Dynamic, Third-Party Code Customizations in JavaScript Using AspectsLERNER, Benjamin S; VENTER, Herman; GROSSMAN, Dan et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 361-376, issn 1523-2867, 16 p.Conference Paper

An Overview of the Oregon Programming Languages Summer SchoolALLEN, Jim; ARIOLA, Zena; ZDANCEWIC, Steve et al.ACM SIGPLAN notices. 2009, Vol 44, Num 11, pp 1-8, issn 1523-2867, 8 p.Article

The Transactional Memory / Garbage Collection AnalogyGROSSMAN, Dan.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 695-706, issn 1523-2867, 12 p.Conference Paper

Region-based memory management in cycloneGROSSMAN, Dan; MORRISETT, Greg; JIM, Trevor et al.ACM SIGPLAN notices. 2002, Vol 37, Num 5, pp 282-293, issn 1523-2867Conference Paper

EnerJ: Approximate Data Types for Safe and General Low-Power ComputationSAMPSON, Adrian; DIETL, Werner; FORTUNA, Emily et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 164-174, issn 1523-2867, 11 p.Conference Paper

RCDC: A Relaxed Consistency Deterministic ComputerDEVIETTI, Joseph; NELSON, Jacob; BERGAN, Tom et al.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 67-77, issn 1523-2867, 11 p.Conference Paper

Transactional Events for MLEFFINGER-DEAN, Laura; KEHRT, Matthew; GROSSMAN, Dan et al.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 103-114, issn 1523-2867, 12 p.Conference Paper

Enforcing isolation and ordering in STMSHPEISMAN, Tatiana; MENON, Vijay; ADL-TABATABAI, Ali-Reza et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 78-88, issn 1523-2867, 11 p.Conference Paper

  • Page / 1