Matthew Flatt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged subject-oriented programming

Random testing for higher-order, stateful programsCasey Klein, Matthew Flatt, Robby Findler. OOPSLA 2010: 555-566 [doi]

Liquid Metal: Object-Oriented Programming Across the Hardware/Software BoundaryShan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah. ECOOP 2008: 76-103 [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]

ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, ProceedingsErik Ernst, editor, Volume 4609 of Lecture Notes in Computer Science, Springer, 2007.

State-oriented programming for TinyOSSiarhei Smolau, Ronald Beaubrun. SCSC 2007: 766-771 [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]

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]

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.

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]

Alias Control Is Crucial for Modular Verification of Object-Oriented ProgramsPeter Müller, Arnd Poetzsch-Heffter. ECOOPW 1999: 154-156

Modular Object-Oriented Programming with Units and MixinsRobby Findler, Matthew Flatt. ICFP 1998: 94-104 [doi]

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.

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

Programming Objects with ML-ART, an Extension to ML with Abstract and Record TypesDidier Rémy. tacs 1994: 321-346

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]

Agent-Oriented ProgrammingYoav Shoham. ai, 60(1):51-92, 1993.

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