Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstraction

Towards a mechanized metatheory of standard MLDaniel K. Lee, Karl Crary, Robert Harper. POPL 2007: 173-184 [doi]

Providing Service-Oriented Abstractions for the Wireless Sensor GridEdgardo Avilés-López, J. Antonio García-Macías. GPC 2007: 710-715 [doi]

Evaluation of software usability using scenarios organized by abstraction structureGyuhyun Kwon, Dong-Han Ham, Wan Chul Yoon. ecce 2007: 19-22 [doi]

Ranking Abstraction of Recursive ProgramsIttai Balaban, Ariel Cohen 0002, Amir Pnueli. vmcai 2006: 267-281 [doi]

Unifying Undergraduate Artificial Intelligence Robotics: Layers of Abstraction Over Two ChannelsFrederick L. Crabbe. aim, 27(1):23-38, 2006.

I am an abstraction layerEdward Grossman. queue, 3(3):8, 2005. [doi]

Ranking Abstraction as a Companion to Predicate Abstraction, Amir Pnueli. ATVA 2005: 1 [doi]

Automatic generalized phase abstraction for formal verificationPer Bjesse, James H. Kukula. iccad 2005: 1076-1082

On the Expressive Power of Canonical AbstractionShmuel Sagiv. vmcai 2004: 58 [doi]

Positive abstraction and extensionalityRoland Hinnion, Thierry Libert. JSYML, 68(3):828-836, 2003.

Predicate Abstraction for Dense Real-Time SystemM. Oliver Möller, Harald Rueß, Maria Sorea. ENTCS, 65(6):218-237, 2002. [doi]

Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l identification d évolutionsDominique Fontaine. tsi, 21(3):375-404, 2002. [doi]

Abstraction and Reformulation in GraphPlanDaniel Buettner. sara 2002: 330 [doi]

On the Role of Mathematical Abstractions for Scientific ComputingKrister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas. ifip2-5 2001: 145-158

Strong Fairness and Full Abstraction for Communicating ProcessesSusan Older. iandc, 163(2):471-509, 2000.

PARDIS: Programmer-level abstractions for metacomputingKatarzyna Keahey. fgcs, 15(5-6):637-647, 1999. [doi]

Full Abstraction and Universality via RealisabilityMichael Marz, Alexander Rohr, Thomas Streicher. lics 1999: 174-182 [doi]

Verifying Liveness by Augmented AbstractionYonit Kesten, Amir Pnueli. csl 1999: 141-156

Is Abstraction Good?Andrew Koenig. joop, 11(2):66-69, 1998.

Abstraction orientated property of software and its relation to patentabilityTetsuo Tamai. INFSOF, 40(5-6):253-257, 1998. [doi]

A Model of Strategy for the Game of Go Using Abstraction MechanismsPatrick Ricaud. IJCAI 1997: 678-683

A Goal-Dependent Abstraction for Legal Reasoning by AnalogyTokuyasu Kakuta, Makoto Haraguchi, Yoshiaki Okubo. ail, 5(1-2):97-118, 1997.

Relative Liveness and Behavior Abstraction (Extended Abstract)Ulrich Nitsche, Pierre Wolper. podc 1997: 45-52

Solution-Relevant Abstractions Constrain Retrieval and AdaptationErica Melis. iccbr 1997: 383-392

Inverting the Abstraction Mapping: A Methodology for Hardware VerificationDavid Cyrluk. FMCAD 1996: 172-186

Abstractions of Uniform ProofsPaolo Volpe. icalp 1996: 224-237

Verification and behavior abstraction towards a tractable verification technique for large distributed systemsUlrich Nitsche. jss, 33(3):273-285, 1996. [doi]

Full Abstraction for a Shared-Variable Parallel LanguageStephen D. Brookes. iandc, 127(2):145-163, 1996.

Full Abstraction for the Second Order Subset of an Algol-Like LanguageKurt Sieber. TCS, 168(1):155-212, 1996. [doi]

Functional Abstractions of Petri Net Models of Primary Components of Flexible Manufacturing SystemsRichard Zurawski. icra 1995: 2060-2065

Full Abstraction and RecursionMichael W. Mislove, Frank J. Oles. TCS, 151(1):207-256, 1995. [doi]

Rigorous Abstraction and Specification in Parallel Software DevelopmentH. H. ten Cate. eurosim 1994: 107-116

Thoughts on AbstractionAndrew Koenig. joop, 7(6):68-70, 1994.

Verification of Hybrid Systems Using AbstractionsAnuj Puri, Pravin Varaiya. hybrid 1995: 359-369

Combinatory Abstraction Bsing B, B and FriendsP. Trigg, J. Roger Hindley, Martin W. Bunder. TCS, 135(2):405-422, 1994.

Making the abstraction hierarchy concreteAnn M. Bisantz, Kim J. Vicente. ijmms, 40(1):83-117, 1994. [doi]

Distributed Mulitmedia Systems Quality of Service in ODP Framework of Abstraction: A First StudyLinda Fedaoui, Wassim Tawbi, Eric Horlait. woodpecker 1994: 265-274

An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract)Alain Deutsch. fp 1992: 82-99

An Anatomy of the Information Resource Semantic AbstractionLeonid A. Kalinichenko. SIGMOD, 20(4):21-24, 1991. [doi]

An Initial Look at Abstraction Mechanisms and PersistenceAlexander L. Wolf. pos 1990: 360-368 [doi]

Parameter Transmission AbstractionsMatti O. Jokinen. cj, 33(2):133-139, 1990.

Software abstraction of elements of statistical strategyR. Wayne Oldford. AMAI, 2:291-307, 1990.

Verification by Abstraction and BisimulationHan Zuidweg. avmfss 1990: 105-116

Advances in Functional Abstraction from StructureRichard H. Lathrop, Robert J. Hall, Gavan Duffy, K. Mark Alexander, Robert S. Kirk. dac 1988: 708-711 [doi]

Abstraction in Recovery ManagementJ. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham. SIGMOD 1986: 72-83 [doi]

Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980Michael L. Brodie, Stephen N. Zilles, editors, Volume 11 of ACM Press, 1981.

Abstraction in DatabasesDennis McLeod, John Miles Smith. SIGMOD 1981: 19-25 [doi]

Proceedings of the SIGPLAN 76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976ACM, 1976.

Modularization around a suitable abstractionStephen N. Zilles. afips 1975: 279 [doi]

Planning in a Hierarchy of Abstraction SpacesEarl D. Sacerdoti. ai, 5(2):115-135, 1974.

runs on WebDSL