Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Yoav Zibin"'
Publikováno v:
ACM Transactions on Programming Languages and Systems. 30:1-38
Object layout schemes used in C++ and other languages rely on (sometimes numerous) compiler generated fields. We describe a language-independent object layout scheme, which is space optimal, that is, objects are contiguous, and contain no compiler ge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0af5917fa075be99705acda240652e24
https://doi.org/10.1145/1387673.1387677
https://doi.org/10.1145/1387673.1387677
Autor:
Joseph Gil, Yoav Zibin
Publikováno v:
Mathematical Structures in Computer Science. 17:565-584
We give the first linear time (randomised) algorithm for thefirst order isomorphism problem, that is, the isomorphism of non-recursive types involving product- and function-type constructors, under the axioms of commutativity and associativity of pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::114fa054f422d888714c881cb45b4f83
https://doi.org/10.1017/s0960129507006068
https://doi.org/10.1017/s0960129507006068
Autor:
Yoav Zibin, Joseph Yossi Gil
Publikováno v:
ACM SIGPLAN Notices. 36:96-107
Subtyping test , i.e., determining whether one type is a subtype of another, are a frequent operation during the execution of object-oriented programs. The challenge is in encoding the hierarchy in a small space, while simulataneously making sure tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0855e1f5c24aad3aedf30607b95249ff
https://doi.org/10.1145/504311.504290
https://doi.org/10.1145/504311.504290
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642369452
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::efb545af618ed08f8c851386c86bd5d9
https://doi.org/10.1007/978-3-642-36946-9_9
https://doi.org/10.1007/978-3-642-36946-9_9
Publikováno v:
ECOOP 2012 – Object-Oriented Programming ISBN: 9783642310560
ECOOP
ECOOP
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchronous activities, multiple places). Object initialization is a cross-cut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20a7830b695173ee70798fc1c271e211
https://doi.org/10.1007/978-3-642-31057-7_10
https://doi.org/10.1007/978-3-642-31057-7_10
Publikováno v:
OOPSLA
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references). Programmers are prone to design err
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::25c7276e32a6f107b90b6c0788bf215c
https://doi.org/10.1145/1869459.1869509
https://doi.org/10.1145/1869459.1869509
Autor:
Yoav Zibin
Publikováno v:
3rd Annual International Conferences on Computer Games, Multimedia and Allied Technology (CGAT 2010).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b681afca9e4fe801d49d064376ad83c7
https://doi.org/10.5176/978-981-08-5480-5_073
https://doi.org/10.5176/978-981-08-5480-5_073
Autor:
Saman Amarasinghe, Sam Larsen, Jonathan Bachrach, Michael Carbin, Weng-Fai Wong, Frank Sherwood, Michael D. Ernst, Carlos Pacheco, Greg Sullivan, Yoav Zibin, Stelios Sidiroglou, Jeff H. Perkins, Sunghun Kim, Martin Rinard
Publikováno v:
SOSP
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging information, or other external information, and without human interven
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54849afbdd4a6268464651fc86dbcb38
https://doi.org/10.1145/1629575.1629585
https://doi.org/10.1145/1629575.1629585
Publikováno v:
OOPSLA Companion
Immutability information is useful in many software engineering tasks, such as modeling, verification, optimization, and refactoring. Furthermore, undesired mutation or side-effect are hard to detect and debug. This paper describes a javac plug-in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fd3714c9bed40364628c144775b3ef8
https://doi.org/10.1145/1449814.1449831
https://doi.org/10.1145/1449814.1449831
Publikováno v:
ESEC/SIGSOFT FSE
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a novel language extension that expresses immutability without changing Ja
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b85637fc7a9935aa71dad16d5bdd97a
https://doi.org/10.1145/1287624.1287637
https://doi.org/10.1145/1287624.1287637