Laurence Tratt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged semantics

Evolving a DSL ImplementationLaurence Tratt. In Generative and Transformational Techniques in Software Engineering II. 2008: [doi]

Curry-style type isomorphisms and game semanticsJoachim De Lataillade. mscs, 18(4):647-692, 2008. [doi]

Positive Frege and its Scott-style semanticsThierry Libert. mlq, 54(4):410-434, 2008. [doi]

Anti-dynamics: presupposition projection without dynamic semanticsPhilippe Schlenker. jolli, 16(3):325-356, 2007. [doi]

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

Leveraging the Semantics of Topic Maps, Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected PapersLutz Maicher, Alexander Sigel, Lars Marius Garshol, editors, Volume 4438 of Lecture Notes in Computer Science, Springer, 2007.

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]

Knowledge Representation and the Semantics of Natural LanguageHermann Helbig. Cognitive Technologies, Springer, 2006.

Update Relevance under the Multiset Semantics of RDBMSHagen Höpfner. mms 2006: 33-44

Community Semantics for Ultra-Scale Information ManagementScott Renner. er 2006: 568 [doi]

Modelling the Semantics of Calendar Expressions as Extended Regular ExpressionsJyrki Niemi, Lauri Carlson. fsmnlp 2006: 179-190 [doi]

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

Relational Reasoning in a Nominal Semantics for StorageNick Benton, Benjamin Leperchey. tlca 2005: 86-101 [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]

Constructive Semantics for Extensional PTQRogelio Davila Perez. enc 2003: 33 [doi]

Analyzing V+Adj in Situation SemanticsJia-ju Mao, Qiu-lin Chen, Ru-zhan Lu. cicling 2003: 75-84 [doi]

Semantics for fuzzy disjunctive programs with similarityDusan Guller. amai 2002: [doi]

A Semantics for Proof Plans with Applications to Interactive Proof PlanningJulian Richardson. lpar 2002: 337-351 [doi]

On Extracting Static SemanticsJohn Hannan. ENTCS, 45:162-173, 2001. [doi]

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]

A Knowledge-Theoretic Semantics for Concurrent METATEMMichael Wooldridge. atal 1997: 357-374

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.

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.

Semantics of Type Classes RevisitedSatish R. Thatte. lfp 1994: 208-219 [doi]

A Possible World Semantics for Disjunctive DatabasesEdward P. F. Chan. tkde, 5(2):282-292, 1993. [doi]

A true concurrency semantics for LOTOSRosvelter João Coelho da Costa, Jean-Pierre Courtiat. forte 1993: 347-362

A Proposed Categorial Semantics for Pure MLWesley Phoa, Michael P. Fourman. icalp 1992: 533-544

New Semantics for the Extensional but Hyper-intensional Part L::alpha:: of the Modal Sense Language SL::alpha:::::nu:::Aldo Bressan. ndjfl, 32(1):47-86, 1991.

New directions in semanticsDick Crouch. mt, 4(4):320-325, 1990. [doi]

Semantics for Defeasible InheritanceKarl Schlechta. ecai 1990: 594-597

Semantics of Distributed Definite Clause ProgramsRamaswamy Ramanujam. TCS, 68(2):203-220, 1989.

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.

Natural Language at the Computer, Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, Heidelberg, FRG, February 25, 1988, ProceedingsAlbrecht Blaser, editor, Volume 320 of Lecture Notes in Computer Science, Springer, 1988.

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

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.

Epistemology, Semantics, and Self-referenceAnnetta Pedretti. cas, 10(4):313-339, 1980. [doi]

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

Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979Gilles Kahn, editor, Volume 70 of Lecture Notes in Computer Science, Springer, 1979.

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

runs on WebDSL