Martín Abadi - 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]

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]

Towards harmony-oriented programmingSebastian Fleissner, Elisa L. A. Baniassad. OOPSLA 2008: 819-822 [doi]

Compile-time execution structure of object-oriented programs with practical ownership domain annotationsMarwan Abi-Antoun. OOPSLA 2007: 919-920 [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]

Serviter: A service-oriented programmable network platform for shared infrastructureBushar Yousef, Doan B. Hoang, Glynn Rogers. comcom, 29(5):642-659, 2006. [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]

Community-Oriented Programming through Instant MessagingTimothy Sohn. vl 2004: 294-295 [doi]

A Logic of Object-Oriented ProgramsMartín Abadi, K. Rustan M. Leino. BIRTHDAY 2003: 11-41 [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]

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]

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.

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

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.

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