Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

A timed semantics of OrcIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra. TCS, 402(2-3):234-248, 2008. [doi]

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

Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory PragmaticsKjell Johan Sæbø. jolli, 16(1):15-33, 2007. [doi]

Polynomial approximations of the relational semantics of imperativeprogramsMichael Colón. SCP, 64(1):76-96, 2007. [doi]

Semantics for the Specification of Asynchronous Communicating Systems (SACS)A. V. S. Rajan, S. Bavan, Geetha Abeysinghe. cisse 2008: 33-38 [doi]

2005 International Conference on Semantics, Knowledge and Grid (SKG 2005), 27-29 November 2005, Beijing, ChinaIEEE Computer Society, 2006.

2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, ChinaIEEE Computer Society, 2006.

A Game Semantics for GrzIlya Mezhirov. logcom, 16(5):663-669, 2006. [doi]

A Finite Basis for Failure SemanticsWan Fokkink, Sumit Nain. icalp 2005: 755-765 [doi]

Taking Advantage of LOM Semantics for Supporting Lesson AuthoringOlivier Motelet, Nelson A. Baloian. otm 2005: 1159-1168 [doi]

Semantics and StratificationRaymond Turner. logcom, 15(2):145-158, 2005. [doi]

A New Partial Semantics for Disjunctive Deductive DatabasesFrançoise Gire, Corinne Plourde. FUIN, 67(4):323-342, 2005. [doi]

A Behavioral Semantics of OOHDM Core Features and of Its Business Process ExtensionHans Albrecht Schmid, Oliver Herfort. ICWE 2004: 74-87 [doi]

Reduction of Cognitive Load Through the Addition of High-Level Semantics to ReactoGraphSimon Gauvin, Trevor J. Smedley. vl 2004: 181-188 [doi]

Polarized Proof Nets with Cycles and Fixpoints SemanticsRaphaël Montelatici. tlca 2003: 256-270 [doi]

Web sites and semanticsThierry Despeyroux, Brigitte Trousse. ht 2001: 239-240 [doi]

Semiotes: a semantics for sharingToni Kazic. bioinformatics, 16(12):1129-1144, 2000.

Marcus Topologies and Applications to Granular Semantics over Mereological Granules of KnowledgeLech Polkowski, Maria Semeniuk-Polkowska. BIRTHDAY 2000: 245-259

Thread and Main Memory SemanticsVishnu Kotrajaras, Susan Eisenbach. ECOOPW 1999: 106

Density Theorems for the Domains-with-Totality Semantics of Dependent TypesUlrich Berger. acs, 7(1-2):3-30, 1999. [doi]

Robust Semantics for Argumentation FrameworksHadassa Jakobovits, Dirk Vermeir. logcom, 9(2):215-261, 1999. [doi]

Extended Message Sequence Charts with Time-Interval SemanticsPaulo S. Muniz Silva. time 1998: 37-44 [doi]

Fibrational Semantics of Dataflow NetworksEugene W. Stark. concur 1998: 597-612 [doi]

Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded FunctionalsJames S. Royer. jcss, 54(3):424-436, 1997.

An M-Net Semantics for a Real-Time Extension of µSDLHans Fleischhack, Josef Tapken. FM 1997: 162-181

On Electronic Commerce, Subatomic Semantics and Caesar s StabbingSteven O. Kimbrough. hicss 1997: 502 [doi]

Semantics of a Higher-Order Coordination LanguageMatthias Radestock, Susan Eisenbach. coordination 1996: 339-356

An Evaluation Semantics for DATR TheoriesBill Keller. COLING 1996: 646-651 [doi]

Semantics: The Description of Computational StructuresJon G. Riecke. ACM Comput. Surv., 28(4es):173, 1996.

Syntax and Semantics of ProcolRoel van der Goot, Arie de Bruin. mfcs 1995: 509-518

A Minimal Model Computation of the Generalized Disjunctive Well-Founded SemanticsCristian Papp. cuza, 4:37-64, 1995.

What Do You get From a Pi-Calculus Semantics?Matthias Radestock, Susan Eisenbach. parle 1994: 635-647

A Semantics for Higher-Order FunctorsDavid B. MacQueen, Mads Tofte. ESOP 1994: 409-423

An Intensional Semantics for a Hybrid LanguageAmedeo Cappelli, Daniele Mazzeranghi. DKE, 12(1):31-62, 1994.

Constructing Type Systems over an Operational SemanticsRobert Harper. JSC, 14(1):71-84, 1992.

M-Lisp: A Representation-Independent Dialect of Lisp with Reduction SemanticsRobert Muller. TOPLAS, 14(4):589-615, 1992. [doi]

Semantics for Specifying Real-Time SystemsMathai Joseph, Asis Goswami. facs 1990: 272-275

Logical omniscience, semantics, and models of beliefRobert F. Hadley. ci, 4:17-30, 1988.

Corrigendum: Semantics of a Declarative LanguageGrigori Mints, Enn Tyugu. ipl, 25(2):139, 1987.

Commonsense Metaphysics and Lexical SemanticsJerry R. Hobbs, William Croft, Todd R. Davies, Douglas Edwards, Kenneth I. Laws. coling, 13(3-4):241-250, 1987.

Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net SemanticsAstrid Kiehn. apn 1988: 227-248

A Contractionless Semilattice SemanticsSteve Giambrone, Robert K. Meyer, Alasdair Urquhart. JSYML, 52(2):526-529, 1987.

Concurrent Transition System Semantics of Process NetworksEugene W. Stark. POPL 1987: 199-210

Semantics of a Declarative LanguageGrigori Mints, Enn Tyugu. ipl, 23(3):147-151, 1986.

Axiomatic Semantics of Communicating Sequential ProcessesNeelam Soundararajan. TOPLAS, 6(4):647-662, 1984. [doi]

On the Semantics of PolymorphismMario Coppo. ACTA, 20:159-170, 1983.

Abstract Control Structures And The Semantics Of QuantifiersSteven Cushing. eacl 1983: 1-8 [doi]

Modal Semantics without Possible WorldsJohn T. Kearns. JSYML, 46(1):77-86, 1981.

On the Semantics of the Henkin QuantifierMichal Krynicki, Alistair H. Lachlan. JSYML, 44(2):184-200, 1979.

Functorial Semantics of the Type Free lambda-beta eta CalculusAdam Obtulowicz. fct 1977: 302-307

runs on WebDSL