The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ECOOP"( http://dblp.L3S.de/Venues/ECOOP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ecoop

Publication years (Num. hits)
1987 (26) 1988 (24) 1989 (24) 1991 (23) 1992 (24) 1993 (27) 1994 (28) 1995 (22) 1996 (24) 1997 (24) 1998 (27) 1999 (25) 2000 (24) 2001 (22) 2002 (27) 2003 (22) 2004 (28) 2005 (27) 2006 (29) 2007 (29) 2008 (29) 2009 (30) 2010 (28) 2011 (30) 2012 (33) 2013 (30) 2014 (28) 2015 (36) 2016 (28) 2017 (32) 2018 (28) 2019 (30)
Publication types (Num. hits)
inproceedings(836) proceedings(32)
Venues (Conferences, Journals, ...)
ECOOP(868)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 248 occurrences of 180 keywords

Results
Found 868 publication records. Showing 868 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken Eventually Sound Points-To Analysis with Specifications. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexi Turcotte, Ellen Arteca, Gregor Richards Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan de Muijnck-Hughes, Wim Vanderbauwhede A Typing Discipline for Hardware Interfaces. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yossi Gil, Ori Roth Fling - A Fluent API Generator. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang Lifestate: Event-Driven Protocols and Callback Control Flow. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alastair F. Donaldson (eds.) 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  BibTeX  RDF
1Vlad A. Vergu, Andrew Tolmach, Eelco Visser Scopes and Frames Improve Meta-Interpreter Specialization. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey Motion Session Types for Robotic Interactions (Brave New Idea Paper). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandr Misonizhnik, Dmitry Mordvinov On Satisfiability of Nominal Subtyping with Variance. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner A Program Logic for First-Order Encapsulated WebAssembly. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Weisenburger, Guido Salvaneschi Multitier Modules. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo 0001 Semantic Patches for Java Program Transformation (Experience Report). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thodoris Sotiropoulos, Benjamin Livshits Static Analysis for Asynchronous JavaScript Programs. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1George Fourtounis, Yannis Smaragdakis Deep Static Modeling of invokedynamic. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jafar Hamin, Bart Jacobs 0002 Transferring Obligations Through Synchronizations. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kiko Fernandez-Reyes, Dave Clarke 0001, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad Godot: All the Benefits of Implicit and Explicit Futures. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dhruv C. Makwana, Neelakantan R. Krishnaswami NumLin: Linear Types for Linear Algebra. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Linghui Luo, Julian Dolby, Eric Bodden MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Amir Shaikhha, Lionel Parreaux Finally, a Polymorphic Linear Algebra Language (Pearl). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy Reliable State Machines: A Framework for Programming Reliable Cloud Services. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Springer, Hidehiko Masuhara DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Richard Roberts, Stefan Marr, Michael Homer, James Noble 0001 Transient Typechecks Are (Almost) Free. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alen Arslanagic, Jorge A. Pérez, Erik Voogd Minimal Session Types (Pearl). Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Noah Van Es, Quentin Stiévenart, Coen De Roover Garbage-Free Abstract Interpretation Through Abstract Reference Counting. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter Static Typing of Complex Presence Constraints in Interfaces. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandar Prokopec, Fengyun Liu Theory and Practice of Coroutines with Snapshots. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sihan Li, Farah Hariri, Gul Agha Targeted Test Generation for Actor Systems. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Mezzetti, Anders Møller, Martin Toldam Torp Type Regression Testing to Detect Breaking Changes in Node.js Libraries. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Bruno C. d. S. Oliveira Typed First-Class Traits. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ugo de'Liguoro, Luca Padovani Mailbox Types for Unordered Interactions. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek KafKa: Gradual Typing for Objects. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini Fault-tolerant Distributed Reactive Programming. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers The Essence of Nested Composition. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yannis Smaragdakis, George Kastrinis Defensive Points-To Analysis: Effective Soundness via Laziness. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neville Grech, George Kastrinis, Yannis Smaragdakis Efficient Reflection String Analysis via Graph Coloring. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Francesco Dagnino, Elena Zucca Modeling Infinite Behaviour by Corules. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner A Concurrent Specification of POSIX File Systems. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Milanova Definite Reference Mutability. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto FHJ: A Formal Model for Hierarchical Dispatching and Overriding. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joana Campos 0002, Vasco T. Vasconcelos Dependent Types for Class-based Mutable Objects. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein (eds.) 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  BibTeX  RDF
1Tianxiao Gu, Xiaoxing Ma, Chang Xu 0001, Yanyan Jiang 0001, Chun Cao, Jian Lu 0001 Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie 0001, Pratap Lakshman, Jonathan de Halleux A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Toman, Dan Grossman Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junjie Chen 0003, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang 0023 Learning to Accelerate Symbolic Execution via Code Transformation. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gowtham Kaki, G. Ramalingam Safe Transferable Regions. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Bell 0001, Luís Pina CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Challenges to Achieving High Availability at Scale (Invited Talk). Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Berger, Laurence Tratt, Christian Urban Modelling Homogeneous Generative Meta-Programming. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fei Wang, Tiark Rompf Towards Strong Normalization for Dependent Object Types (DOT). Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weixin Zhang, Bruno C. d. S. Oliveira EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elias Castegren, Tobias Wrigstad Relaxed Linear References for Lock-free Data Structures. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman Parallelizing Julia with a Non-Invasive DSL. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini A Co-contextual Type Checker for Featherweight Java . Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shiyou Huang, Jeff Huang 0001 Speeding Up Maximal Causality Reduction with Static Dependency Analysis. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yudi Zheng, Lubomír Bulej, Walter Binder An Empirical Study on Deoptimization in the Graal Compiler. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jens Dietrich 0001, David J. Pearce, Kamil Jezek, Premek Brada Contracts in the Wild: A Study of Java Programs. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jens Dietrich 0001, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin Evil Pickles: DoS Attacks Based on Object-Graph Engineering. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover Mailbox Abstractions for Static Analysis of Actor Programs. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni 0001, Sam Tobin-Hochstadt, Ryan Newton Compiling Tree Transforms to Operate on Packed Representations. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ross Tate Retargeting Gradual Typing (Invited Talk). Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomas Petricek 0001 Data Exploration through Dot-driven Development. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilad Bracha Composing Software in an Age of Dissonance (Invited Talk). Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikaël Mayer, Jad Hamza, Viktor Kuncak Proactive Synthesis of Recursive Tree-to-String Functions from Examples. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter Type Abstraction for Relaxed Noninterference. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Podkopaev, Ori Lahav, Viktor Vafeiadis Promising Compilation to ARMv8 POP. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich A Capability-Based Module System for Authority Control. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeff Huang 0001, Arun K. Rajagopalan What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weili Fu, Roly Perera, Paul Anderson 0003, James Cheney muPuppet: A Declarative Subset of the Puppet Configuration Language. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Simon Fowler, Sam Lindley, Philip Wadler Mixing Metaphors: Actors as Channels and Channels as Actors. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Müller 0001 (eds.) 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  BibTeX  RDF
1Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001 Concurrent Data Structures Linked in Time. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Colin S. Gordon A Generic Approach to Flow-Sensitive Polymorphic Effects. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daco Harkes, Eelco Visser IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baptiste Saleil, Marc Feeley Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis. Search on Bibsonomy ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daco Harkes, Danny M. Groenewegen, Eelco Visser IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Esben Andreasen, Colin S. Gordon, Satish Chandra 0001, Manu Sridharan, Frank Tip, Koushik Sen Trace Typing: An Approach for Evaluating Retrofitted Type Systems. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jon Eyolfson, Patrick Lam 0001 C++ const and Immutability: An Empirical Study of Writes-Through-const. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kamil Jezek, Jens Dietrich 0001 Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen Towards Ontology-Based Program Analysis. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yossi Gil, Tomer Levy Formal Language Recognition with the Java Type Checker. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt Making an Embedded DBMS JIT-friendly. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang 0023, Zhenjiang Hu Transforming Programs between APIs with Many-to-Many Mappings. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaakko Järvi, Sean Parent One Way to Select Many. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 868 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license