Robby Findler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

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

Operational semantics for multi-language programsJacob Matthews, Robby Findler. TOPLAS, 31(3), 2009. [doi]

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009. [doi]

Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009:

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

An operational semantics for SchemeJacob Matthews, Robby Findler. JFP, 18(1):47-86, 2008. [doi]

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

Fixed point semantics and partial recursion in CoqYves Bertot, Vladimir Komendantsky. ppdp 2008: 89-96 [doi]

Operational semantics for multi-language programsJacob Matthews, Robby Findler. POPL 2007: 3-10 [doi]

A Rewriting Semantics for Type InferenceGeorge Kuan, David MacQueen, Robby Findler. ESOP 2007: 426-440 [doi]

A method for linking computed image features to histological semantics in neuropathologyBirgit Lessmann, Tim W. Nattkemper, V. H. Hans, Andreas Degenhard. jbi, 40(6):631-641, 2007. [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 Finite Basis for Failure SemanticsWan Fokkink, Sumit Nain. icalp 2005: 755-765 [doi]

Minimal Negation in the Ternary Relational SemanticsGemma Robles, José M. Méndez, Francisco Salto. rml, 39:47-65, 2005. [doi]

A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsJacob Matthews, Robby Findler, Matthew Flatt, Matthias Felleisen. RTA 2004: 301-311 [doi]

Precongruence formats for decorated trace semanticsBard Bloom, Wan Fokkink, Rob J. van Glabbeek. tocl, 5(1):26-78, 2004. [doi]

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

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

Precongruence Formats for Decorated Trace SemanticsBard Bloom, Wan Fokkink, Rob J. van Glabbeek. corr, cs.LO/0204039, 2002. [doi]

Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, ProceedingsWalid Taha, editor, Volume 2196 of Lecture Notes in Computer Science, Springer, 2001.

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

On the problem of computing the well-founded semanticsZbigniew Lonc, Miroslaw Truszczynski. tplp, 1(5):591-609, 2001.

Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, ProceedingsWalid Taha, editor, Volume 1924 of Lecture Notes in Computer Science, Springer, 2000.

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

Generation, Lambek Calculus, Montague s Semantics and Semantic Proof NetsSylvain Pogodalla. COLING 2000: 628-634 [doi]

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

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

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

Process versus Unfolding Semantics for Place/Transition Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. TCS, 153(1&2):171-210, 1996. [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.

A Star-Free Semantics for REdwin D. Mares. JSYML, 60(2):579-590, 1995.

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

Dataflow Semantics for Petri NetsRobert Gold. mfcs 1992: 275-283

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

Semantics-Directed Compilation of Nonlinear PatternsOlivier Danvy. ipl, 37(6):315-322, 1991.

Static and Dynamic Semantics ProcessingCharles Consel, Olivier Danvy. POPL 1991: 14-24

Quality Criteria for Partial Order Semantics of Place/Transition-NetsRobert Gold, Walter Vogler. mfcs 1990: 306-312

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

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.

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

Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, ProceedingsGilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Volume 173 of Lecture Notes in Computer Science, Springer, 1984.

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.

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

runs on WebDSL