Olivier Danvy - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged object-oriented programming

Supporting program variant generation and feature files in rbFeaturesSebastian Günther, Marco Fischer. SPLC 2011: 8 [doi]

Feature tracking and matching in video using programmable graphics hardwareSudipta N. Sinha, Jan-Michael Frahm, Marc Pollefeys, Yakup Genc. mva, 22(1):207-217, 2011. [doi]

Inter-deriving semantic artifacts for object-oriented programmingOlivier Danvy, Jacob Johannsen. jcss, 76(5):302-323, 2010. [doi]

Inter-deriving Semantic Artifacts for Object-Oriented ProgrammingOlivier Danvy, Jacob Johannsen. wollic 2008: 1-16 [doi]

Feature - Empowering kids to create and share programmable mediaAndrÃ©s Monroy-HernÃ¡ndez, Mitchel Resnick. interactions, 15(2):50-53, 2008. [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]

A New Feature for TV Programs: Viewer Participation Through VideoconferencingJukka Rauhala, Petri Vuorimaa. pcm 2004: 298-305 [doi]

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]

The Feature Signatures of Evolving ProgramsDaniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi. ASE 2003: 281-285 [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]

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]

Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, ProceedingsOlivier Danvy, Andrzej Filinski, editors, Volume 2053 of Lecture Notes in Computer Science, Springer, 2001.

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.

Recognition of machining features and feature topologies from NC programsX. Yan, K. Yamazaki, J. Liu. cad, 32(10):605-616, 2000. [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

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]

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.

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:

DYNALAB: a dynamic computer science laboratory infrastructure featuring program animation (abstract)Michael R. Birch, Christopher M. Boroni, Frances W. Goosey, Samuel D. Patton, David K. Poole, Craig M. Pratt, Rockford J. Ross. sigcse 1995: 29-33 [doi]

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

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

A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel ProgramsJürgen W. Meyer. ictai 1993: 452-453

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.

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.

Automatic generation of self-test programs - a new feature of the MIMOLA design systemGerd Krüger. dac 1986: 378-384 [doi]

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