Peter D. Mosses

110 papers A* 3A 2B 11C 5Misc 1Journal 30Unranked 47

Year	Rank	Type	Title / Venue / Authors
2024	B	`ed.`	Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2024, Pasadena, CA, USA, October 20-21, 2024 SLE Ralf Lämmel, Juliana Alves Pereira, Peter D. Mosses
2024	—	`conf`	Towards Verification of a Denotational Semantics of Inheritance. JENSFEST Peter D. Mosses
2023	—	`ed.`	Eelco Visser Commemorative Symposium, EVCS 2023, Delft, The Netherlands, April 5, 2023 Eelco Visser Commemorative Symposium Ralf Lämmel, Peter D. Mosses, Friedrich Steimann
2023	B	`conf`	Online Name-Based Navigation for Software Meta-languages. SLE Peter D. Mosses
2023	J	`jnl`	Online Name-Based Navigation for Software Meta-languages. CoRR Peter D. Mosses
2023	—	`conf`	Using Spoofax to Support Online Code Navigation. Eelco Visser Commemorative Symposium Peter D. Mosses
2023	J	`jnl`	Using Spoofax to Support Online Code Navigation. CoRR Peter D. Mosses
2022	J	`jnl`	Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
2021	C	`conf`	Fundamental Constructs in Programming Languages. ISoLA Peter D. Mosses
2021	J	`jnl`	Fundamental Constructs in Programming Languages. CoRR Peter D. Mosses
2019	—	`conf`	A Component-Based Formal Language Workbench. F-IDE@FM Peter D. Mosses
2019	J	`jnl`	Executable component-based semantics. J. Log. Algebraic Methods Program. L. Thomas van Binsbergen, Peter D. Mosses, Neil Sculthorpe
2019	J	`jnl`	Software meta-language engineering and CBS. J. Comput. Lang. Peter D. Mosses
2018	J	`jnl`	CoFI with Don Sannella. Theor. Comput. Sci. Peter D. Mosses
2017	B	`conf`	Engineering meta-languages for specifying software languages (keynote). SLE Peter D. Mosses
2017	J	`jnl`	Flag-based big-step semantics. J. Log. Algebraic Methods Program. Casper Bach Poulsen, Peter D. Mosses
2016	J	`jnl`	Flag-Based Big-Step Semantics. CoRR Casper Bach Poulsen, Peter D. Mosses
2016	—	`conf`	Tool support for component-based semantics. MODULARITY (Companion) L. Thomas van Binsbergen, Neil Sculthorpe, Peter D. Mosses
2015	—	`conf`	A Modular Structural Operational Semantics for Delimited Continuations. WoC Neil Sculthorpe, Paolo Torrini, Peter D. Mosses
2015	C	`conf`	Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini
2015	J	`jnl`	Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
2015	J	`jnl`	Semantics of programming languages: Using Asf+Sdf. Sci. Comput. Program. Peter D. Mosses
2015	—	`conf`	Weak Bisimulation as a Congruence in MSOS. Logic, Rewriting, and Concurrency Peter D. Mosses, Ferdinand Vesely
2014	A	`conf`	Deriving Pretty-Big-Step Semantics from Small-Step Semantics. ESOP Casper Bach Poulsen, Peter D. Mosses
2014	—	`conf`	FunKons: Component-Based Semantics in K. WRLA Peter D. Mosses, Ferdinand Vesely
2014	—	`conf`	Reusable components of semantic specifications. MODULARITY Martin Churchill, Peter D. Mosses, Paolo Torrini
2013	C	`conf`	Generating Specialized Interpreters for Modular Structural Operational Semantics. LOPSTR Casper Bach Poulsen, Peter D. Mosses
2013	B	`conf`	Modular Bisimulation Theory for Computations and Values. FoSSaCS Martin Churchill, Peter D. Mosses
2013	B	`conf`	Modular Semantics for Transition System Specifications with Negative Premises. CONCUR Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
2011	J	`jnl`	VDM semantics of programming languages: combinators and monads. Formal Aspects Comput. Peter D. Mosses
2010	J	`jnl`	An agile approach to language modelling and development. Innov. Syst. Softw. Eng. Adrian Johnstone, Peter D. Mosses, Elizabeth Scott
2010	—	`conf`	Robustness of Equations Under Operational Extensions EXPRESS Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers
2009	—	`conf`	Component-based semantics. SAVCBS Peter D. Mosses
2009	J	`jnl`	Special issue on structural operational semantics. Inf. Comput. Rob J. van Glabbeek, Peter D. Mosses
2008	—	`conf`	Component-Based Description of Programming Languages. BCS Int. Acad. Conf. Peter D. Mosses
2008	—	`conf`	Implicit Propagation in Structural Operational Semantics. SOS@ICALP Peter D. Mosses, Mark J. New
2008	J	`jnl`	SBLP 2008: XII Brazilian Symposium on Programming. J. Univers. Comput. Sci. Marco Túlio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior
2007	J	`jnl`	Preface. Theor. Comput. Sci. Peter D. Mosses, Irek Ulidowski
2007	—	`ed.`	Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006 SOS Rob van Glabbeek, Peter D. Mosses
2007	—	`conf`	VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems Peter D. Mosses
2006	J	`jnl`	An Action Environment. Sci. Comput. Program. Mark van den Brand, Jørgen Iversen, Peter D. Mosses
2006	—	`conf`	Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen Peter D. Mosses
2006	—	`conf`	Preface. SOS@CONCUR Rob J. van Glabbeek, Peter D. Mosses
2006	—	`ed.`	Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005 SOS@ICALP Peter D. Mosses, Irek Ulidowski
2005	J	`jnl`	A Constructive Approach to Language Definition. J. Univers. Comput. Sci. Peter D. Mosses
2005	J	`jnl`	Constructive Action Semantics for Core ML. IEE Proc. Softw. Jørgen Iversen, Peter D. Mosses
2005	—	`conf`	Preface. SOS@ICALP Peter D. Mosses, Irek Ulidowski
2004	—	`conf`	An Action Environment. LDTA@ETAPS Mark van den Brand, Jørgen Iversen, Peter D. Mosses
2004	—	`book`	CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language Peter D. Mosses
2004	—	`book`	Casl User Manual - Introduction to Using the Common Algebraic Specification Language Michel Bidoit, Peter D. Mosses
2004	J	`jnl`	Exploiting Labels in Structural Operational Semantics. Fundam. Informaticae Peter D. Mosses
2004	Misc	`conf`	Exploiting labels in Structural Operational Semantics. SAC Peter D. Mosses
2004	—	`conf`	Formal Semantics of Programming Languages: - An Overview - . FoVMT Peter D. Mosses
2004	B	`conf`	Modular Language Descriptions. GPCE Peter D. Mosses
2004	J	`jnl`	Modular structural operational semantics. J. Log. Algebraic Methods Program. Peter D. Mosses
2004	—	`ed.`	Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers WADT José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas
2004	—	`conf`	The Action Environment: -- Tool Demonstration --. LDTA@ETAPS Mark van den Brand, Jørgen Iversen, Peter D. Mosses
2003	J	`jnl`	Composing programming languages by combining action-semantics modules. Sci. Comput. Program. Kyung-Goo Doh, Peter D. Mosses
2002	—	`conf`	Action Semantics and ASF+SDF: System Demonstration. LDTA@ETAPS Peter D. Mosses
2002	J	`jnl`	CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002	C	`conf`	Mapping Modular SOS to Rewriting Logic. LOPSTR Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
2002	—	`conf`	Pragmatics of Modular SOS. AMAST Peter D. Mosses
2001	J	`jnl`	Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. Hélène Kirchner, Peter D. Mosses
2001	—	`ch.`	CoFI: The Common Framework Initiative for Algebraic Specification and Development. Current Trends in Theoretical Computer Science Peter D. Mosses
2001	—	`conf`	Composing Programming Languages by Combining Action-Semantics Modules. LDTA@ETAPS Kyung-Goo Doh, Peter D. Mosses
2001	—	`conf`	The Varieties of Programming Language Semantics. Ershov Memorial Conference Peter D. Mosses
2000	J	`jnl`	A Foreword to 'Fundamental Concepts in Programming Languages'. High. Order Symb. Comput. Peter D. Mosses
2000	—	`conf`	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
2000	—	`ed.`	Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers WADT Didier Bert, Christine Choppy, Peter D. Mosses
2000	—	`conf`	The Varieties of Programming Language Semantics. IFIP TCS Peter D. Mosses
2000	—	`ed.`	Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings IFIP TCS Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito
1999	B	`conf`	Foundations of Modular SOS. MFCS Peter D. Mosses
1999	B	`conf`	Logical Specification of Operational Semantics. CSL Peter D. Mosses
1998	—	`conf`	Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST Hélène Kirchner, Peter D. Mosses
1998	—	`conf`	CASL: A Guided Tour of Its Design. WADT Peter D. Mosses
1998	—	`conf`	Semantics, modularity, and rewriting logic. WRLA Peter D. Mosses
1997	—	`conf`	CoFI: The Common Framework Initiative for Algebraic Specification and Development. TAPSOFT Peter D. Mosses
1996	—	`conf`	ASD: The Action Semantic Description Tools. AMAST Arie van Deursen, Peter D. Mosses
1996	J	`jnl`	CoFI: The Common Framework Initiative for Algebraic Specification. Bull. EATCS Peter D. Mosses
1996	J	`jnl`	Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1996	B	`conf`	Theory and Practice of Action Semantics. MFCS Peter D. Mosses
1996	J	`jnl`	Valentin M. Antimirov (1961-1995). Theor. Comput. Sci. Gregory Kucherov, Pierre Lescanne, Peter D. Mosses
1995	—	`conf`	Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
1995	—	`conf`	R HOA Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
1995	J	`jnl`	Rewriting Extended Regular Expressions. Theor. Comput. Sci. Valentin M. Antimirov, Peter D. Mosses
1995	—	`ed.`	TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings TAPSOFT Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
1994	—	`conf`	An Action Semantics for ML Concurrency Primitives. FME Peter D. Mosses, Martin A. Musicante
1993	—	`conf`	Executing Action Semantic Descriptions using ASF+SDF. AMAST Arie van Deursen, Peter D. Mosses
1993	C	`conf`	Rewriting Extended Regular Expressions. Developments in Language Theory Valentin M. Antimirov, Peter D. Mosses
1992	—	`conf`	On the Action Semantics of Concurrent Programming Languages. REX Workshop Peter D. Mosses
1992	—	`conf`	Specifying Asynchronous Transfer of Control. FTRTFT Padmanabhan Krishnan, Peter D. Mosses
1992	—	`conf`	Unified Algebras and Abstract Syntax. COMPASS/ADT Peter D. Mosses
1991	—	`conf`	The Use of Sorts in Algebraic Specifications. COMPASS/ADT Peter D. Mosses
1990	—	`ch.`	Denotational Semantics. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Peter D. Mosses
1989	—	`conf`	A Practical Introduction to Denotational Semantics. Formal Description of Programming Concepts Peter D. Mosses
1989	A	`conf`	Unified Algebras and Action Semantics. STACS Peter D. Mosses
1989	A*	`conf`	Unified Algebras and Institutions LICS Peter D. Mosses
1989	A*	`conf`	Unified Algebras and Modules. POPL Peter D. Mosses
1988	—	`conf`	Unified Algebras. ADT Peter D. Mosses
1987	J	`jnl`	On Proving Limiting Completeness. SIAM J. Comput. Peter D. Mosses, Gordon D. Plotkin
1987	—	`conf`	The use of action semantics. Formal Description of Programming Concepts Peter D. Mosses, David A. Watt
1986	—	`conf`	Action Semantics. ADT Peter D. Mosses
1984	—	`conf`	A Basic Abstract Semantic Algebra. Semantics of Data Types Peter D. Mosses
1983	—	`conf`	A Solution to Problem 7 - Parallel Combinator Reduction Machine -. The Analysis of Concurrent Systems Peter D. Mosses
1982	—	`conf`	Abstract Semantic Algebras. Formal Description of Programming Concepts Peter D. Mosses
1981	—	`conf`	A Semantic Algebra for Binding Constructs. ICFPC Peter D. Mosses
1980	A*	`conf`	A Constructive Approach to Compiler Correctness. ICALP Peter D. Mosses
1980	—	`conf`	A constructive approach to compiler correctness. Semantics-Directed Compiler Generation Peter D. Mosses
1976	B	`conf`	Compiler Generation Using Denotational Semantics. MFCS Peter D. Mosses
1974	B	`conf`	The Semantics of Semantic Equations. MFCS Peter D. Mosses