Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase object-oriented languages (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1987 (17) 1988-1989 (28) 1990 (24) 1991 (73) 1992 (137) 1993 (204) 1994 (88) 1995 (43) 1996 (40) 1997 (168) 1998 (165) 1999 (269) 2000 (247) 2001 (52) 2002 (42) 2003 (42) 2004 (38) 2005 (29) 2006 (44) 2007 (59) 2008 (50) 2009 (25) 2010-2011 (20) 2012 (2)
Publication types (Num. hits)
article(152) book(2) incollection(2) inproceedings(1724) proceedings(26)
Venues (Conferences, Journals, ...)
TOOLS(1127) ECOOP(64) TOOLS (12/9)(56) OOPSLA(40) SIGPLAN Notices(31) EOOLT(30) POPL(15) ECOOP Workshops(14) REX Workshop(14) ACM Trans. Program. Lang. Syst...(12) IEEE Trans. Software Eng.(12) SAC(12) APSEC(10) OOPSLA Companion(10) SIGCSE(10) FMOODS(9) More (+10 of total 284)
Authors
Bertrand Meyer(39) Brian Henderson-Sellers(25) John Potter(17) Craig Chambers(16) James Noble(16) Kim B. Bruce(14) Christine Mingins(13) Gilda Pour(13) Peter Fritzson(12) Donald Firesmith(11) Raimund K. Ege(10) Richard Mitchell(10) James C. McKim(9) Jan Vitek(9) Jean-Marc Jézéquel(9) Jens Palsberg(9) More (+10 of total 2811)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2441 occurrences of 1126 keywords
Results
Found 1906 publication records. Showing 1906 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Mark Hills, Grigore Rosu A rewriting approach to the design and evolution of object-oriented languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF object-oriented languages, language design, formal analysis, rewriting logic, language semantics
3José de Oliveira Guimarães Closures for statically-typed object-oriented languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Smalltalk blocks, object-oriented languages, closure, green
3Patrik Persson, Görel Hedin An Interactive Environment for Real-Time Software Development. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Real-Time Systems, Object-Oriented Languages, Real-Time Java, Software Development Environments, Worst-Case Execution Time Analysis
3Tal Cohen, Joseph Gil Self-Calibration of Metrics of Java Methods. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP
3Rémi Forax, Étienne Duris, Gilles Roussel Java Multi-Method Framework. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java Multi-Method Framework, method resolution, multi-polymorphism, reflection mechanism, Java, algorithms, data structures, data structures, object-oriented programming, software reusability, object-oriented languages, late-binding
3Ole Lehrmann Madsen Towards Integration of State Machines and Object-Oriented Languages. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF object-oriented languages, state machines, Object-oriented analysis and design
3Jean-Marc Jézéquel, F. André Bergheul, F. André Programming Massively Parallel Architectures with Sequential Object Oriented Languages. Search on Bibsonomy PARLE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Object oriented languages, Massively parallel systems, Parallel programming paradigms
3Moises Lejter, Scott Meyers, Steven P. Reiss Support for Maintaining Object-Oriented Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF semantics-based tools, C++ programs, interactive database interface, text editor, object-oriented programs, object-oriented programming, relational databases, software maintenance, inheritance, inheritance, object-oriented languages, object-oriented languages, C language, relational database system, dynamic binding, program maintenance
3Giorgio Ghelli Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
3Phillip M. Yelland Producing Abstract Models for Object-Oriented Languages. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Denotational Semantics, Object-Oriented Programming Languages, Abstract Models
2Erika Ábrahám, Andreas Grüner, Martin Steffen Abstract Interface Behavior of Object-Oriented Languages with Monitors. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics
2Mohammad Reza Nami A comparison of object-oriented languages in software engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, C++, Smalltalk, object-oriented languages, Eiffel, object-oriented software engineering
2José A. Joao, Onur Mutlu, Hyesoon Kim, Rishi Agarwal, Yale N. Patt Improving the performance of object-oriented languages with dynamic predication of indirect jumps. Search on Bibsonomy ASPLOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic predication, indirect jumps, object-oriented languages, predicated execution, virtual functions
2Peter Bunus, Karin Lunde Supporting Model-Based Diagnostics with Equation-Based Object Oriented Languages. Search on Bibsonomy EOOLT The full citation details ... 2008 DBLP  BibTeX  RDF
2Hans Vangheluwe Multi-Paradigm Language Engineering and Equation-Based Object-Oriented Languages. Search on Bibsonomy EOOLT The full citation details ... 2008 DBLP  BibTeX  RDF
2Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip Relationships and associations in object-oriented languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF roles, associations, relationships
2Kei Davis, Jörg Striegnitz Multiparadigm Programming in Object-Oriented Languages: Current Research. Search on Bibsonomy ECOOP Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Object-oriented, programming, multiparadigm
2Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida Bounded Session Types for Object Oriented Languages. Search on Bibsonomy FMCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou Session Types for Object-Oriented Languages. Search on Bibsonomy ECOOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Juan Chen, David Tarditi A simple typed intermediate language for object-oriented languages. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF class and object encoding, typed intermediate language
2Cong-cong Xing, Boumediene Belkhouche The movable point problem and its resolution in object type graphs. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type, object-oriented languages, subtyping
2Francesco Logozzo Separate Compositional Analysis of Class-Based Object-Oriented Languages. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Michael Factor, Assaf Schuster, Konstantin Shagin Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF standard class libraries, java, inheritance, code instrumentation
2Andreas Ulbrich, Gero Mühl, Torben Weis, Kurt Geihs Programming Abstractions for Content-Based Publish/Subscribe in Object-Oriented Languages. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF middleware, programming abstractions, composite events, content-based publish/subscribe
2Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard Region inference for an object-oriented language. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF downcasts, method overriding, region inference, type systems, memory management, object-oriented languages
2André T. H. Pang, Manuel M. T. Chakravarty Interfacing Haskell with Object-Oriented Languages. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2José de Oliveira Guimarães Experiences in building a compiler for an object-oriented language. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, object-oriented languages, compiler construction, Green
2Amie L. Souter, Lori L. Pollock The Construction of Contextual Def-Use Associations for Object-Oriented Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF D.3.2.p Object-oriented languages, D.2.5.m Testing coverage of code, object flow analysis
2Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov Partial Evaluation for Common Intermediate Language. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
2Thomas P. Jensen, Fausto Spoto Class Analysis of Object-Oriented Programs through Abstract Interpretation. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
2James Noble Iterators and Encapsulation. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Liliana Favre, Liliana Martinez, Claudia Pereira Transforming UML Static Models into Object-Oriented Code. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
2Dominique Colnet, Luigi Liquori Match-O, A Dialect of Eiffel with Match-Types. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Match-O, Eiffel dialect, covariant redefinition, system-level validity rules, match types, method specialization, anchored type, type unsoundness, smallEiffel source code, compiler, program compilers, object-oriented languages, abstract data types, subtyping, type safety, binary methods, Current
2G. Butler, Christine Mingins YooccLa: A Parser Generator for L-Attributed Grammars. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF YooccLa, left-attributed grammars, object-oriented compiler compiler, nonleft-recursive LL grammar, EBNF-like language, Eiffel features, semantic actions, Eiffel Parse library, syntax class, software engineering, object-oriented programming, specification languages, object-oriented languages, software libraries, attribute grammars, compiler generators, parser generator
2John Viega, Paul Reynolds, Reimer Behrends Automating Delegation in Class-Based Languages. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann Weak Subtyping and Genericity. Search on Bibsonomy TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Genericity, Inheritance, Subtype, Conformance
2Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. Search on Bibsonomy COORDINATION The full citation details ... 2000 DBLP  DOI  BibTeX  RDF White Box Reuse, Black Box Reuse, Frameworks, Dynamic Reconfiguration, Object-Oriented Languages
2Juan José Ramos, Miquel Angel Piera Needs of Object-Oriented Languages for Physics Knowledge Representation in the Simulation Field. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF System Dynamic Simulation, Reuse of Models, Physical and Computational causality, Object-Oriented Modelling
2Renate Motschnig-Pitrik Contexts and Views in Object-Oriented Languages. Search on Bibsonomy CONTEXT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Ran Rinat, Menachem Magidor, Scott F. Smith Correspondence Polymorphism for Object-Oriented Languages. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Bruno Blanchet Escape Analysis for Object-Oriented Languages: Application to Java. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java
2Michael Kölling, John Rosenberg On Creation, Equality and the Object Model. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Mark Evered, Gisela Menger Very High Level Programming with Collection Components. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF object-oriented language design, frameworks, components, collections
2Kasper Østerbye Associations as a Language Construct. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF UML, compilation, object-oriented, associations, relation, language construct
2Dominique Colnet, Olivier Zendra Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Norman Neff OO design in compiling an OO language. Search on Bibsonomy SIGCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, compilers, design patterns, object-oriented languages
2Frédéric Lang, Pierre Lescanne, Luigi Liquori A Framework for Defining Object-Calculi. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
2Shigeru Chiba Macro Processing in Object-Oriented Languages. Search on Bibsonomy TOOLS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Metaobjects, Design pattern, Reflection
2Ulrike Lechner Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
2Antonio J. Nebro, Ernesto Pimentel, José M. Troya Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. Search on Bibsonomy ISCOPE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. Search on Bibsonomy ESOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky Collection Types and Implementations in Object-Oriented Software Libraries. Search on Bibsonomy TOOLS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF collection library, C++STL, Smalltalk, subtyping, Collection, container, Eiffel, subclassing
2Wade Holst, Duane Szafron Incremental Table-Based Method Dispatch for Reflective Object-Oriented Languages. Search on Bibsonomy TOOLS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
2Luigi Liquori An Extended Theory of Primitive Objects: FIrst Order System. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF design and semantics of object-oriented languages, Type systems
2Xuandong Li, Guoliang Zheng A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software maintenance, software reuse, inheritance, encapsulation, object-oriented programming languages
2Jan Vitek, R. Nigel Horspool Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
2David Harel, Eran Gery Executable Object Modeling with Statecharts. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
2Loren Larsen, Mary Jean Harrold Slicing Object-Oriented Software. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
2Jeffrey Dean, Craig Chambers, David Grove Selective Specialization for Object-Oriented Languages. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
2John Plevyak, Xingbin Zhang, Andrew A. Chien Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
2Giuseppe Castagna Covariance and Contravariance: Conflict without a Cause. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF object-oriented languages, type theory
2Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella Application and user interface migration from BASIC to Visual C++. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, graphical systems, program interpreters, program interpreters, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
2Kim B. Bruce, Angela Schuett, Robert van Gent PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF design and semantics of object-oriented languages, Type systems
2Michele Bugliesi, Hasan M. Jamil A Logic for Encapsulation in Object Oriented Languages. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
2Ole Lehrmann Madsen Review of Object-Oriented Languages. Search on Bibsonomy TOOLS The full citation details ... 1993 DBLP  BibTeX  RDF
2Pankaj Parekh Object-Oriented Languages in the i960® Extended Architecture. Search on Bibsonomy TOOLS (12/9) The full citation details ... 1993 DBLP  BibTeX  RDF
2Mike Banahan, L. Peter Deutsch, Boris Magnusson, Jens Palsberg Panel: Aims, Means, and Future of Object-Oriented Languages. Search on Bibsonomy ECOOP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
2Giuseppe Castagna A Meta-Language for Typed Object-Oriented Languages. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
2Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. Search on Bibsonomy PPOPP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
2Mario Südholt, Christoph Steigner On Interprocedural Data Flow Analysis for Object Oriented Languages. Search on Bibsonomy CC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF class scope, Object oriented language, interprocedural data flow analysis, virtual function
2Roger Lea, James Weightman Supporting Object-Oriented Languages in a Distributed Environment: The COOL Approach. Search on Bibsonomy TOOLS The full citation details ... 1991 DBLP  BibTeX  RDF
2Kim B. Bruce The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Urs Hölzle, Craig Chambers, David Ungar Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. Search on Bibsonomy ECOOP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Serge Lacourte Exceptions in Guide, an Object-Oriented Language for Distributed Applications. Search on Bibsonomy ECOOP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrency, consistency, object-oriented languages, exceptions
2Pierre America Designing an Object-Oriented Programming Language with Behavioural Subtyping. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
2Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas A Categorial Theory of Objects as Observed Processes. Search on Bibsonomy REX Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition
2Michael V. Mannino, Injun Choi, Don S. Batory The Object-Oriented Functional Data Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
2Uday S. Reddy Objects as Closures: Abstract Semantics of Object-Oriented Languages. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
2Daniel C. Halbert, Patrick D. O'Brien Using Types and Inheritance in Object-Oriented Languages. Search on Bibsonomy ECOOP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
2Edwin H. Blake, Steve Cook On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk. Search on Bibsonomy ECOOP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Surender Kumar, Rajeev Kumar Precise static analysis for generic programs in object oriented languages. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Herz, Kalmer Apinis Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roland Ducournau Coloring, a versatile technique for implementing object-oriented languages. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yannick Welsch, Arnd Poetzsch-Heffter Full Abstraction at Package Boundaries of Object-Oriented Languages. Search on Bibsonomy SBMF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jonathan Aldrich, Jeremy G. Siek, Elena Zucca 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thi Mai Thuong Tran, Martin Steffen Design Issues in Concurrent Object-Oriented Languages and Observability. Search on Bibsonomy KSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emmanuel Lambert, Martin Fiers, Shavkat Nizamov, Martijn Tassaert, Steven G. Johnson, Peter Bienstman, Wim Bogaerts Python Bindings for the Open Source Electromagnetic Simulator Meep. Search on Bibsonomy Computing in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Finite difference methods (FDTD), SWIG, C++ interfacing, Meep FDTD simulator, software engineering, scientific computing, computational science, object-oriented languages, Python
1Fernando Pérez, Brian E. Granger, John D. Hunter Python: An Ecosystem for Scientific Computing. Search on Bibsonomy Computing in Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF language classifications, software engineering, data structure, programming languages, Programming environments, scientific computing, object-oriented languages, Python, high-level languages, arrays
1Adolfo Duran, Ana Cavalcanti, Augusto Sampaio An algebraic approach to the design of compilers for object-oriented languages. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Giovanni Lagorio Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas Search on Bibsonomy GANDALF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Fernández Lanvin, Raúl Izquierdo Castanedo, Aquilino A. Juan Fuente, Alberto Manuel Fernández Álvarez Extending object-oriented languages with backward error recovery integrated support. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lukas Rytz, Martin Odersky Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF default arguments, named arguments, scala
1Mário Pires, Luís Caires A Type System for Access Control Views in Object-Oriented Languages. Search on Bibsonomy ARSPA-WITS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lady Baquero, Jose Garrido Software Correctness in Object Oriented Languages: Key Concepts and Comparison. Search on Bibsonomy IKE The full citation details ... 2010 DBLP  BibTeX  RDF
1Sanchit Bansal Multiple Polymorphic Arguments in Single Dispatch Object Oriented Languages. Search on Bibsonomy IC3 The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan Aldrich, Jeremy G. Siek 2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthew Might, Yannis Smaragdakis, David Van Horn Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
1Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira Modular session types for distributed object-oriented programming. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-uniform method availability, object-oriented calculus, typestates, session types
Displaying result #1 - #100 of 1906 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.