Search results for "object oriented language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tielin Liang, Dongming Wang	On the design and implementation of a geometric-object-oriented language.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	geometry software, uncertainty and degeneracy, object-oriented language, Automated reasoning, symbolic computation, geometric constraint
3	Norihisa Doi, Yasushi Kodama, Ken Hirose	An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+.	ECOOP	1988	DBLP DOI BibTeX RDF	Concurrent object-oriented language, ABCL, Operating system kernel
2	Alessandro Warth, Ian Piumarta	OMeta: an object-oriented language for pattern matching.	DLS	2007	DBLP DOI BibTeX RDF	metacircular implementation, pattern matching, parsing
2	Pietu Pohjalainen	Object-Oriented Language Processing.	JMLC	2006	DBLP DOI BibTeX RDF
2	Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou	A Distributed Object-Oriented Language with Session Types.	TGC	2005	DBLP DOI BibTeX RDF
2	Sebastián González, Wolfgang De Meuter, Pascal Costanza, Stéphane Ducasse, Richard P. Gabriel, Theo D'Hondt	2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity.	ECOOP Workshops	2004	DBLP DOI BibTeX RDF
2	Tielin Liang, Dongming Wang	Towards a Geometric-Object-Oriented Language.	Automated Deduction in Geometry	2004	DBLP DOI BibTeX RDF
2	Qi Sun, Anindya Banerjee, David A. Naumann	Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language.	SAS	2004	DBLP DOI BibTeX RDF
2	José de Oliveira Guimarães	Experiences in building a compiler for an object-oriented language.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Java, object-oriented languages, compiler construction, Green
2	Wolfgang De Meuter, Stéphane Ducasse, Theo D'Hondt, Ole Lehrmann Madsen	Object-Oriented Language Engineering for the Post-Java Era.	ECOOP Workshops	2003	DBLP DOI BibTeX RDF
2	Peter Fritzson, Peter Bunus	Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
2	Robert Tolksdorf, Kai Knubben	Programming distributed systems with the delegation-based object-oriented language dSelf.	SAC	2002	DBLP DOI BibTeX RDF	Self
2	Atsushi Ohori, Kiyoshi Yamatodani	An interoperable calculus for external object access.	ICFP	2002	DBLP DOI BibTeX RDF	record polymorphism, Java, interoperability, ML, type inference, object-oriented language
2	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
2	Noriki Amano, Takuo Watanabe	LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation.	TOOLS	1999	DBLP DOI BibTeX RDF	adaptable procedures, meta-level architecture and object-oriented language, reflection, software adaptation
2	Viviana Bono, Amit Patel, Vitaly Shmatikov	A Core Calculus of Classes and Mixins.	ECOOP	1999	DBLP DOI BibTeX RDF	type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin
2	Chao-Hsin Lin, Tzilla Elrad	An Enhanced Reflective Architecture for Adaptation of the Object-Oriented Language/Software.	APSEC	1998	DBLP DOI BibTeX RDF	inheritance exclusion, adaptation, real-time, concurrent, distributed, reflective, inheritance anomaly, open implementation
2	Peter Fritzson, Vadim Engelson	Modelica - A Unified Object-Oriented Language for System Modelling and Simulation.	ECOOP	1998	DBLP DOI BibTeX RDF
2	Hiroki Konaka, Yoshiaki Itoh, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori	Adaptive Data Parallel Computation in the Parallel Object-Oriented Language OCore.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
2	K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, L. Weisman	A World-Wide Distributed System Using Java and the Internet. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	world-wide distributed system, software layer, remote procedure invocation mechanisms, Java, Internet, Internet, specification, groupware, distributed processing, software components, threads, object-oriented languages, object-oriented language, messaging, peer-to-peer communication, object request brokers
2	Maria Letizia Jaccheri	Reusing software process models in E3. (PDF / PS)	ISPW	1996	DBLP DOI BibTeX RDF	software process model reuse, E/sup 3/, Environment for Experimenting and Evolving software processes, process elicitation, process reuse, fragment storage, graphical user interface, software tool, object-oriented database, software reusability, object oriented language, associations, consistency management, process modeling language, process specification
2	Birger Andersen	A General, Fine-Grained, Machine Independent, Object-Oriented Language.	SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
2	William G. Griswold	Comments on ``Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
2	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
2	Yves Caseau, Laurent Perron	Attaching Second-Order Types to Methods in an Object-Oriented Language.	ECOOP	1993	DBLP DOI BibTeX RDF
2	Jean-Marc Jézéquel, F. André Bergheul	A parallel execution environment for a sequential object oriented language.	ICS	1992	DBLP DOI BibTeX RDF	data parallelism and SPMD model, programming environments for massively parallel architecture, object oriented languages
2	Bjørn N. Freeman-Benson, Alan Borning	Integrating Constraints with an Object-Oriented Language.	ECOOP	1992	DBLP DOI BibTeX RDF
2	Mehmet Aksit, Lodewijk Bergmans, Sinan Vural	An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach.	ECOOP	1992	DBLP DOI BibTeX RDF
2	Mark Temte	A compiler construction project for an object-oriented language.	SIGCSE	1992	DBLP DOI BibTeX RDF	Smalltalk
2	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
2	Serge Lacourte	Exceptions in Guide, an Object-Oriented Language for Distributed Applications.	ECOOP	1991	DBLP DOI BibTeX RDF	concurrency, consistency, object-oriented languages, exceptions
2	Gilles Barbedette	Schema Modifications in the LISPO2 Persistent Object-Oriented Language.	ECOOP	1991	DBLP DOI BibTeX RDF
2	Frank S. de Boer	A Proof System for the Parallel Object-Oriented Language POOL.	ICALP	1990	DBLP DOI BibTeX RDF
2	Jan van den Bos	PROCOL: a protocol-constrained concurrent object-oriented language.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
2	Peter A. Buhr, C. Robert Zarnke	Nesting in an Object-Oriented Language is NOT for the Birds.	ECOOP	1988	DBLP DOI BibTeX RDF	Object-Oriented, Nesting, Programming-in-the-Large, Block Structure
2	Jean-Pierre Banâtre, Michel Banâtre, P. Lecler, Florimond Ployette, P. Le Certen	Fragmented and replicated objects in the GOTHIC distributed system.	ACM SIGOPS European Workshop	1988	DBLP DOI BibTeX RDF	Fragmented objects, distributed systems, parallelism, object-oriented language, protection
2	Jin Ho Hur, Kilnam Chon	Overview of a Parallel Object-Oriented Language CLIX.	ECOOP	1987	DBLP DOI BibTeX RDF
2	Pierre America	Inheritance and Subtyping in a Parallel Object-Oriented Language.	ECOOP	1987	DBLP DOI BibTeX RDF
2	Roland Ducournau, Michel Habib	On Some Algorithms for Multiple Inheritance in Object-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF	inheritance with exceptions, Object oriented language, depth-first-search, partial ordered sets, multiple inheritance, linear extensions
2	Shinji Yokoi	A Prolog Based Object Oriented Language SPOOL and its Compiler.	LP	1986	DBLP DOI BibTeX RDF
1	Ronald Veldema, Michael Philippsen	Eine hybride funktionale und Objekt-orientierte Sprache für eine Multi-Core Zukunft (A Hybrid Functional and Object-Oriented Language for a Multi-Core Future).	it - Information Technology	2011	DBLP DOI BibTeX RDF
1	Bo Yang, Mingyi Zhang, Ying Zhang	Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language.	ICIC	2011	DBLP DOI BibTeX RDF
1	Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla	Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language.	DAC	2011	DBLP DOI BibTeX RDF
1	Vaidas Gasiunas	Advanced object-oriented language mechanisms for variability management.		2010	RDF
1	Laurent Deniau	The C Object System: Using C as a High-Level Object-Oriented Language	CoRR	2010	DBLP BibTeX RDF
1	Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira	Modular session types for distributed object-oriented programming.	POPL	2010	DBLP DOI BibTeX RDF	non-uniform method availability, object-oriented calculus, typestates, session types
1	Lukas Rytz, Martin Odersky	Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language.	SAC	2010	DBLP DOI BibTeX RDF	default arguments, named arguments, scala
1	Eurico Augusto Rodrigues Seabra, José Mendes Machado	Teaching Kinematics and Dynamics of Multibody Mechanical System Using the Object Oriented Language Modelica.	iJOE	2009	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen	Behavioral interface description of an object-oriented language with futures and promises.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Narichika Hamaguchi, Hiroyuki Kaneko, Mamoru Doke, Seiki Inoue	User-Definable Rule Description Framework for Autonomous Actor Agents.	HCI	2009	DBLP DOI BibTeX RDF	Autonomous Actor Agent, Text-to-Video, TVML, Object-Oriented Language, Digital Storytelling
1	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
1	Takeshi Ogasawara	NUMA-aware memory manager with dominant-thread-based copying GC.	OOPSLA	2009	DBLP DOI BibTeX RDF	java, cc-NUMA
1	Stéphane Garredu, Evelyne Vittori, Jean François Santucci	A DEVS-oriented intuitive modeling language.	SpringSim	2009	DBLP DOI BibTeX RDF	methodology, code generation, MDA, specification languages, DEVS
1	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
1	Alexis Petrounias, Susan Eisenbach	Fairness for Chorded Languages.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Michael Conlon, Vasos Pavlika	A Discussion of Video Capturing to Assist in Distance Learning.	HCI	2009	DBLP DOI BibTeX RDF
1	Yun-Long Lay, Hui-Jen Yang, Chern-Sheng Lin	Computer-Assisted Lip Reading Recognition for Hearing Impaired.	HCI	2009	DBLP DOI BibTeX RDF	Self-Organizing Map Neuro-Network, lip reading reorganization, extension, hearing impaired
1	Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst	Parameter reference immutability: formal definition, inference tool, and comparison.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Reference immutability, Combined analysis, Definition, Readonly
1	Irene Govender, Diane J. Grayson	Pre-service and in-service teachers' experiences of learning to program in an object-oriented language.	Computers & Education	2008	DBLP DOI BibTeX RDF
1	Jan Smans, Bart Jacobs 0002, Frank Piessens	VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
1	Christoph Denzler, Dominik Gruntz	Design patterns: between programming and software design.	ICSE	2008	DBLP DOI BibTeX RDF	design patterns, software engineering curriculum
1	Michael H. Goldwasser, David Letscher	Teaching an object-oriented CS1 -: with Python.	ITiCSE	2008	DBLP DOI BibTeX RDF	object orientation, cs1, python
1	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
1	Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of soundness of type systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	software model checking, type soundness
1	Matthew J. Parkinson, Gavin M. Bierman	Separation logic, abstraction and inheritance.	POPL	2008	DBLP DOI BibTeX RDF	modularity, classes, separation logic
1	J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Integrating coercion with subtyping and multiple dispatch.	SAC	2008	DBLP DOI BibTeX RDF
1	Pramod G. Joisha	A principled approach to nondeferred reference-counting garbage collection.	VEE	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, reference counting
1	Jia Lv, Ying Jing, Minghui Wu, Canghong Jin	Crosscutting invariant and an efficient checking algorithm using program slicing.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	aspect-oriented language, crosscutting interference, crosscutting quality, crosscutting safety
1	Soodeh Hosseini, Mohammad Abdollahi Azgomi	UML Model Refactoring with Emphasis on Behavior Preservation.	TASE	2008	DBLP DOI BibTeX RDF	Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring
1	Georgios Meditskos, Nick Bassiliades	A Rule-Based Object-Oriented OWL Reasoner.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Object-Oriented Programming, Inference engines, Rule-based processing, Ontology languages
1	Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah	Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Sanjay Misra, Ibrahim Akman	Measuring Complexity of Object Oriented Programs.	ICCSA	2008	DBLP DOI BibTeX RDF	method complexity, cognitive weights, object oriented programming (OOP), validation, Software metrics
1	Markus Lumpe	Growing a Language: The GLooPerspective.	Software Composition	2008	DBLP DOI BibTeX RDF
1	Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom	Ownership, Uniqueness, and Immutability.	TOOLS	2008	DBLP DOI BibTeX RDF
1	Jeff Offutt, Aynur Abdurazik, Stephen R. Schach	Quantitatively measuring object-oriented couplings.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	Object-oriented programming, Analysis, Maintainability, Complexity measures, Test execution, Quality analysis and evaluation
1	David Ungar, Randall B. Smith	Self.	HOPL	2007	DBLP DOI BibTeX RDF	exploratory programming, history of programming languages, morphic, prototype-based programming language, virtual machine, programming environment, object-oriented language, dynamic optimization, dynamic language, adaptive optimization, Self, cartoon animation
1	Morten Kromberg	Arrays of objects.	DLS	2007	DBLP DOI BibTeX RDF	multi-paradigm languages, object orientation, functional programming, language design, arrays
1	Michael H. Goldwasser, David Letscher	Teaching object-oriented programming in python.	ITiCSE	2007	DBLP DOI BibTeX RDF	object-orientation, CS1, python
1	Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.	Celebrating 40 years of language evolution: simula 67 to the present and beyond.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Simula67, Java, C, Schema, C#, Eiffel, BETA
1	Erik Meijer	Visual Basic.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF
1	James Sasitorn, Robert Cartwright	Component nextgen: a sound and expressive component framework for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	custom class loader, first-class generics, java implementation, components, signatures, modules
1	Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Modular multiple dispatch with multiple inheritance.	SAC	2007	DBLP DOI BibTeX RDF	modularity, overloading, multiple inheritance, multiple dispatch
1	James Sasitorn, Robert Cartwright	Deriving components from genericity.	SAC	2007	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, components, signatures, modules
1	Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter	Linguistic symbiosis between actors and threads.	ICDL	2007	DBLP DOI BibTeX RDF	AmbientTalk, linguistic symbiosis, events, threads, actors
1	Terry Coatta	From Here to There, the SOA Way.	ACM Queue	2007	DBLP DOI BibTeX RDF	SOA, distributed, Service, latency, Object, System
1	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	A provenly correct translation of Fickle into Java.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	semantics preserving translation, Type and effect systems
1	Sofie Goderis, Dirk Deridder, Ellen Van Paesschen	DEUCE : Separating Concerns in User Interfaces.	ICSEA	2007	DBLP DOI BibTeX RDF
1	Júlio C. B. de Mattos, Antonio Carlos Schneider Beck, Luigi Carro	Object-Oriented Reconfiguration.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
1	Tom Van Cutsem, Stijn Mostinckx, Elisa Gonzalez Boix, Jessie Dedecker, Wolfgang De Meuter	AmbientTalk: Object-oriented Event-driven Programming in Mobile Ad hoc Networks.	SCCC	2007	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino	Designing Verification Conditions for Software.	CADE	2007	DBLP DOI BibTeX RDF
1	Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter	Object-Oriented Coordination in Mobile Ad Hoc Networks.	COORDINATION	2007	DBLP DOI BibTeX RDF
1	Michael Haupt, Hans Schippers	A Machine Model for Aspect-Oriented Programming.	ECOOP	2007	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Dave Clarke, Einar Broch Johnsen	A Complete Guide to the Future.	ESOP	2007	DBLP DOI BibTeX RDF
1	Germano Resconi, Javier Alonso	Fuzzy Adaptive Objects (Logic of Monitors as Agents).	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida	Asynchronous Session Types and Progress for Object Oriented Languages.	FMOODS	2007	DBLP DOI BibTeX RDF
1	Mark Hills, Grigore Rosu	On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.	FMOODS	2007	DBLP DOI BibTeX RDF	model checking, analysis, object-oriented languages, language design, rewriting logic
1	Mark Hills, Grigore Rosu	KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.	RTA	2007	DBLP DOI BibTeX RDF	object-oriented languages, term rewriting, formal analysis, rewriting logic, programming language semantics
1	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
1	Kallol Borah	Indus: an object oriented language for Ubiquitous computing.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	wireless sensor networks, distributed systems, ad hoc networks, software agents, adaptive systems