Andrei V. Klimov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged subject-oriented programming

A Java Supercompiler and Its Application to Verification of Cache-Coherence ProtocolsAndrei V. Klimov. ershov 2010: 185-192 [doi]

Understanding the Impact of Distribution in Object-Oriented Distributed Systems Using Structural Program DependenciesDan C. Cosma, Radu Marinescu. CSMR 2008: 103-112 [doi]

Supporting children as they program to make physical and virtual objects interactAmon Millner. acmidc 2008: 25-28 [doi]

An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary ObjectMasanori Sakakibara, Kohei Sakurai, Seiichi Komiya. jckbse 2008: 125-134 [doi]

ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, ProceedingsDave Thomas, editor, Volume 4067 of Lecture Notes in Computer Science, Springer, 2006.

Infering Ownership Types for Encapsulated Object-Oriented Program ComponentsArnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer. birthday 2007: 120-144 [doi]

Concurrency oriented programming in termite schemeGuillaume Germain. erlang 2006: 20 [doi]

Towards a unified coupling framework for measuring aspect-oriented programsThiago T. Bartolomei, Alessandro Garcia, Cláudio Sant Anna, Eduardo Figueiredo. soqua 2006: 46-53 [doi]

ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, ProceedingsAndrew P. Black, editor, Volume 3586 of Lecture Notes in Computer Science, Springer, 2005.

Efficient data race and deadlock prevention in concurrent object-oriented programsPiotr Nienaltowski. OOPSLA 2004: 56-57 [doi]

Message Oriented Programming - The Case for First Class MessagesDave A. Thomas. jot, 3(5):7-12, 2004. [doi]

State Oriented ProgrammingHideki Nomoto. hase 2004: 304-305 [doi]

Feature Selection for Multiclass Discrimination via Mixed-Integer Linear ProgrammingFrank J. Iannarilli Jr., Paul A. Rubin. pami, 25(6):779-783, 2003. [doi]

An Object-Oriented Program Automatic Execute Model and the Research of AlgorithmDa-Hai Jin, Yun-Zhan Gong. ats 2003: 492-495 [doi]

ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, ProceedingsBoris Magnusson, editor, Volume 2374 of Lecture Notes in Computer Science, Springer, 2002.

A CORBA service middleware enabling high-level high-precision real-time distributed object programmingK. H. (Kane) Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri. csse, 17(2):77-84, 2002.

Has Object-Oriented Programming Delivered? / Aviation Software GuidelinesIEEE Software, 19(5):104-107, 2002. [doi]

Object-Oriented Program Comprehension: Effect of Expertise, Task and PhaseJean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck. ese, 7(2):115-156, 2002.

ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, ProceedingsJørgen Lindskov Knudsen, editor, Volume 2072 of Lecture Notes in Computer Science, Springer, 2001.

TMOES: A CORBA Service Middleware Enabling High-Level Real-Time Object ProgrammingK. H. Kim, Juqiang Liu, H. Miyazaki, Eltefaat Shokri. isads 2001: 327 [doi]

Object-Oriented Real-Time Distributed Programming and Support MiddlewareK. H. Kim. icpads 2000: 10-20 [doi]

A Link-Oriented Comparison of Hyperdocuments and ProgramsHeather Brown, Peter J. Brown, Les Carr, Wendy Hall, Wendy Milne, Luc Moreau. ddep 2004: 1-12 [doi]

Abstract Object State and Version Recovery in N-Version ProgrammingAlexander Romanovsky. TOOLS 1999: 86-95 [doi]

Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to ProgramsClemens Fischer. ECOOPW 1999: 108-109

ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, ProceedingsEric Jul, editor, Volume 1445 of Lecture Notes in Computer Science, Springer, 1998.

The Application of Object-oriented Programming to Monte Carlo Experiments on Beams of Phonons in CrystalsWojciech M. Gancza, Tadeusz Paszkiewicz. CANDC, 22(1):21-30, 1998. [doi]

Requirement Oriented ProgrammingDavid R. Musser, Sibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 12-24 [doi]

Operation-Level Composition: A Case in (Join) PointHarold Ossher, Peri L. Tarr. ECOOPW 1998: 406-409 [doi]

Type Checking Object-Oriented Programs: Core of the Problem and Some SolutionsJean-Claude Royer. joop, 11(6):58, 1998.

Parallel Execution of Object-Oriented Programs: Message Handling StrategiesSzabolcs Ferenczi. pc, 22(13):1897-1912, 1997.

Mental Representations Constructed by Experts and Novices in Object-Oriented Program ComprehensionJean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck. ACMdis 1997: 339-346

Concurrent Object-Oriented Programming for Distributed Real-time SystemsKatsumi Maruyama. isci, 93(1):87-106, 1996.

ECOOP 96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, ProceedingsPierre Cointe, editor, Volume 1098 of Lecture Notes in Computer Science, Springer, 1996.

An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented ProgrammingPatrick de Bondeli. Ada-Europe 1996: 370-384

ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, ProceedingsWalter G. Olthoff, editor, Volume 952 of Lecture Notes in Computer Science, Springer, 1995.

Extracting Object-Oriented Specification from Procedurally Oriented ProgramsHarry M. Sneed, Erika Nyáry. WCRE 1995:

An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport ProcessesJens Gerlach, Birgit Kähler. eurosim 1994: 777-784

Object-oriented programming (abstract): how to scale up CS 1Stuart Hirshfield, Owen L. Astrachan, John Barr, Karen Donnelly, David Levine, Mark McGinn. sigcse 1994: 396 [doi]

The top 10 reasons why object-oriented programming can t be taught in CS 1Rick Decker, Stuart Hirshfield. sigcse 1994: 51-55 [doi]

Problem-Oriented Means of Program Specification and Verification in Project SPECTRUMV. A. Nepomniaschy, A. A. Sulimov. disco 1993: 374-378

ECOOP 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, ProceedingsPierre America, editor, Volume 512 of Lecture Notes in Computer Science, Springer, 1991.

A class of methods for solving large, convex quadratic programs subject to box constraintsEugene K. Yang, Jon W. Tolle. mp, 51:223-228, 1991.

SNOOPS: An object-oriented language enhancement supporting dynamic program reconfigurationNoel G. Craske. SIGPLAN, 26(10):53-63, 1991. [doi]

Actra - an industrial strength concurrent object-oriented programming systemJeff McAffer, John Duimovich. oopsm, 2(2):82-85, 1991.

Process oriented programmingBoris Magnusson. SIGPLAN, 24(4):34-36, 1989. [doi]

ECOOP 88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, ProceedingsStein Gjessing, Kristen Nygaard, editors, Volume 322 of Lecture Notes in Computer Science, Springer, 1988.

ECOOP 87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, ProceedingsJean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman, editors, Volume 276 of Lecture Notes in Computer Science, Springer, 1987.

Experimental use of a program for computer-aided subject-index productionJanet E. Armitage, Michael F. Lynch, J. Howard Petrie, Mario Belton. ipm, 6(1):79-87, 1970. [doi]

An Application-Oriented Multiprocessing System Part III: Control Program FeaturesJames A. Devereaux. IBMSJ, 6(2):95-102, 1967.

Feature-Oriented Programming [doi]

runs on WebDSL