Author

Kevin Bierhoff

Created by Alysson Bolognesi Prado at 2017-03-16 11:22:53.0.

Simplified Graph of Associations

Word Cloud

Could you solve a captcha to retrieve Rogério Cysne Araújo's Lattes?

Cole aqui o código fonte do lattes da pessoa:

Sim, eu sei, isso é feio, é horrível. Mas o Lattes mudou para o recaptcha, e agora não sei mais como contornar.

Yes

Why?

Publications

Checking API Protocol Compliance in Java

Red Opal

A type system for borrowing permissions

Modular typestate checking of aliased objects

PLURAL

Published At

Proceedings of the 8th ACM conference on Electronic commerce - EC ’07

Companion of the 13th international conference on Software engineering - ICSE Companion ’08

Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA ’07

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’12

Co-Authors

Referenced By

Checking API Protocol Compliance in Java

Are user-contributed reviews community property?

Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect