Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10
Latest Publications

TOTAL DOCUMENTS

63

(FIVE YEARS 0)

H-INDEX

19

(FIVE YEARS 0)

Published By ACM Press

9781450302036

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Supporting dynamic, third-party code customizations in JavaScript using aspects

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869490 ◽

2010 ◽

Author(s):

Benjamin S. Lerner ◽

Herman Venter ◽

Dan Grossman

Keyword(s):

Download Full-text

Modular logic metaprogramming

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869499 ◽

2010 ◽

Author(s):

Karl Klose ◽

Klaus Ostermann

Keyword(s):

Download Full-text

Random testing for higher-order, stateful programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869505 ◽

2010 ◽

Author(s):

Casey Klein ◽

Matthew Flatt ◽

Robert Bruce Findler

Keyword(s):

Higher Order ◽

Download Full-text

A simple inductive synthesis methodology and its applications

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869463 ◽

2010 ◽

Author(s):

Shachar Itzhaky ◽

Sumit Gulwani ◽

Neil Immerman ◽

Mooly Sagiv

Keyword(s):

Inductive Synthesis ◽

Synthesis Methodology

Download Full-text

Registration-based language abstractions

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869521 ◽

2010 ◽

Author(s):

Samuel Davis ◽

Gregor Kiczales

Download Full-text

Specifying and implementing refactorings

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869485 ◽

2010 ◽

Author(s):

Max Schaefer ◽

Oege de Moor

Download Full-text

The two-state solution

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869506 ◽

2010 ◽

Author(s):

Jay A. McCarthy

Keyword(s):

Download Full-text

Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869489 ◽

2010 ◽

Author(s):

Bruno C.d.S. Oliveira ◽

Adriaan Moors ◽

Martin Odersky

Keyword(s):

Download Full-text

A domain-specific approach to architecturing error handling in pervasive computing

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869465 ◽

2010 ◽

Author(s):

Julien Mercadal ◽

Quentin Enard ◽

Charles Consel ◽

Nicolas Loriant

Keyword(s):

Pervasive Computing ◽

Error Handling ◽

Specific Approach ◽

Domain Specific

Download Full-text

An experiment about static and dynamic type systems

Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 ◽

10.1145/1869459.1869462 ◽

2010 ◽

Author(s):

Stefan Hanenberg

Keyword(s):

Type Systems ◽

Download Full-text