Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("Special Interest Group on Software Engineering (SIGSOFT)")

Document Type [dt]

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 25 of 188

  • Page / 8
Export

Selection :

  • and

Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'10)ACM SIGPLAN notices. 2010, Vol 45, Num 10, issn 1523-2867, 981 p.Conference Proceedings

PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, 2007, San Diego, CAACM SIGPLAN notices. 2007, Vol 42, Num 6, issn 1523-2867, 508 p.Conference Proceedings

Proceedings of the 22nd International Conference on Object-Oriented Programming, Systems, Languages, & Applications (OOPSLA'07)ACM SIGPLAN notices. 2007, Vol 42, Num 10, issn 1523-2867, 725 p.Conference Proceedings

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10)ACM SIGPLAN notices. 2010, Vol 45, Num 6, issn 1523-2867, 508 p.Conference Proceedings

Bringing Extensibility to Verified CompilersTATLOCK, Zachary; LERNER, Sorin.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 111-121, issn 1523-2867, 11 p.Conference Paper

Programming With Time: Cyber-physical programming with ImpromptuSORENSEN, Andrew; GARDNER, Henry.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 822-834, issn 1523-2867, 13 p.Conference Paper

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating SystemYANG, Jean; HAWBLITZEL, Chris.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 99-110, issn 1523-2867, 12 p.Conference Paper

The Reachability-Bound ProblemGULWANI, Sumit; ZULEGER, Florian.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 292-304, issn 1523-2867, 13 p.Conference Paper

The Two-State Solution: Native and Serializable Continuations AccordMCCARTHY, Jay A.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 567-582, issn 1523-2867, 16 p.Conference Paper

Establishing Object Invariants with Delayed TypesFÄHNDRICH, Manuel; SONGTAO XIA.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 337-350, issn 1523-2867, 14 p.Conference Paper

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

Using Early Phase Termination To Eliminate Load Imbalances At Barrier Synchronization PointsRINARD, Martin.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 369-386, issn 1523-2867, 18 p.Conference Paper

Detecting Inefficiently-Used Containers to Avoid BloatGUOQING XU; ROUNTEV, Atanas.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 160-173, issn 1523-2867, 14 p.Conference Paper

Combining events and threads for scalable network services : Implementation and evaluation of monadic, application-level concurrency primitivesPENG LI; ZDANCEWIC, Steve.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 189-199, issn 1523-2867, 11 p.Conference Paper

Regularly annotated set constraintsKODUMAL, John; AIKEN, Alex.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 331-341, issn 1523-2867, 11 p.Conference Paper

Valgrind : A framework for heavyweight dynamic binary instrumentationNETHERCOTE, Nicholas; SEWARD, Julian.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 89-100, issn 1523-2867, 12 p.Conference Paper

Variant Path Types for Scalable ExtensibilityIGARASHI, Atsushi; VIROLI, Mirko.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 113-131, issn 1523-2867, 19 p.Conference Paper

Component Adaptation and Assembly Using Interface RelationsKELL, Stephen.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 322-340, issn 1523-2867, 19 p.Conference Paper

From OO to FPGA: Fitting Round Objects into Square Hardware?KOU, Stephen; PALSBERG, Jens.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 109-124, issn 1523-2867, 16 p.Conference Paper

METAFJIG A Meta-Circular Composition Language for Java-like ClassesSERVETTO, Marco; ZUCCA, Elena.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 464-483, issn 1523-2867, 20 p.Conference Paper

Ur: Statically-Typed Metaprogramming with Type-Level Record ComputationCHLIPALA, Adam.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 122-133, issn 1523-2867, 12 p.Conference Paper

A certified type-preserving compiler from lambda calculus to assembly languageCHLIPALA, Adam.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 54-65, issn 1523-2867, 12 p.Conference Paper

Living In The Comfort ZoneRINARD, Martin.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 611-621, issn 1523-2867, 11 p.Conference Paper

Living it up with a Live Programming LanguageMCDIRMID, Sean.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 623-637, issn 1523-2867, 15 p.Conference Paper

No Ifs, Ands, or Buts : Uncovering the Simplicity of ConditionalsEDWARDS, Jonathan.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 639-658, issn 1523-2867, 20 p.Conference Paper

  • Page / 8