Search results
From MaRDI portal
- Robert D. Tennent (section List of research outcomes)Paper A note on files in pascal 1977-01-01 Paper The denotational semantics of programming languages 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4066561...10 bytes (18 words) - 21:23, 11 December 2023
- extension of the dual complexity space and an application to computer science 2009-11-05 Paper Denotational semantics for programming languages, balanced...10 bytes (18 words) - 21:14, 11 December 2023
- Oscar Valero (section List of research outcomes)Paper Denotational semantics for programming languages, balanced quasi-metrics and fixed points 2008-04-29 Paper On the structure of the space of complexity...10 bytes (16 words) - 01:15, 10 December 2023
- J. W. de Bakker (section List of research outcomes)2000-04-26 Paper Denotational models for programming languages: Applications of Banach's fixed point theorem 1999-07-20 Paper Fully abstract denotational models...10 bytes (20 words) - 00:43, 13 December 2023
- Jan J. M. M. Rutten (section List of research outcomes)equations in a category of complete metric spaces 1989-01-01 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper https://portal...10 bytes (23 words) - 00:56, 10 December 2023
- A mechanized logic of computation 1993-06-05 Paper The denotational semantics of sequential machines 1980-01-01 Paper On the power of list iteration 1979-01-01...10 bytes (21 words) - 13:42, 28 January 2024
- Frank G. Pagan (section List of research outcomes)metalanguage for denotational semantics 1979-01-01 Paper ALGOL 68 as a metalanguage for denotational semantics 1979-01-01 Paper Formal semantics of a SNOBOL4...10 bytes (18 words) - 10:05, 6 October 2023
- Salvador Romaguera (section List of research outcomes)Paper Denotational semantics for programming languages, balanced quasi-metrics and fixed points 2008-04-29 Paper On the structure of the space of complexity...10 bytes (17 words) - 10:58, 8 December 2023
- Jeffery Zucker (section List of research outcomes)computations in denotational semantics 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3347277 1984-01-01 Paper On infinite computations in denotational semantics...10 bytes (17 words) - 01:45, 12 December 2023
- Jan Schwinghammer (section List of research outcomes)Frontiers of Combining Systems 2006-10-10 Paper Denotational semantics for a program logic of objects 2006-08-10 Paper Programming Languages and Systems...10 bytes (16 words) - 03:22, 13 December 2023
- Patrick Cousot (section List of research outcomes)Principles for Proving Total Correctness of Programs with Denotational Semantics 2022-08-25 Paper Calculational design of a regular model checker by abstract interpretation...10 bytes (17 words) - 15:03, 12 December 2023
- E. P. de Vink (section List of research outcomes)mardi4nfdi.de/entity/Q4255556 1999-08-17 Paper Denotational models for programming languages: Applications of Banach's fixed point theorem 1999-07-20 Paper...10 bytes (20 words) - 13:48, 28 January 2024
- Jia-Fu Xu (section List of research outcomes)1996-09-09 Paper Denotational semantics of a simple model of Eiffel 1995-07-24 Paper Analogy calculus 1994-03-27 Paper Analogical program derivation based...10 bytes (17 words) - 12:20, 12 December 2023
- pseudo-complements of closure operators 1998-11-24 Paper Confluence in concurrent constraint programming 1998-07-22 Paper Constraint logic programming with dynamic...10 bytes (17 words) - 04:31, 12 December 2023
- Franck Van Breugel (section List of research outcomes)Paper An introduction to metric semantics: Operational and denotational models for programming and specification languages 2001-08-20 Paper A Note on Hyperspaces...10 bytes (18 words) - 03:23, 9 December 2023
- Andrew D. Gordon (section List of research outcomes)Relating operational and denotational semantics for input/output effects 2000-10-17 Paper Bisimilarity as a theory of functional programming 2000-08-23 Paper Mobile...10 bytes (18 words) - 07:43, 12 December 2023
- Manfred Broy (section List of research outcomes)1984-01-01 Paper Semantics of communicating processes 1984-01-01 Paper On hierarchies of abstract data types 1983-01-01 Paper Denotational semantics of communicating...10 bytes (17 words) - 08:16, 9 December 2023
- Flemming Nielson (section List of research outcomes)higher-order concurrent languages 2022-08-18 Paper Constraints for polymorphic behaviours of concurrent ML 2022-08-16 Paper Benign interaction of security domains...10 bytes (17 words) - 00:02, 12 December 2023
- Shengchao Qin (section List of research outcomes)Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Denotational Semantics for a Probabilistic Timed Shared-Variable...10 bytes (16 words) - 08:51, 6 October 2023
- Daniel R. Licata (section List of research outcomes)2-Category of Modes 2017-07-21 Paper Calculating the Fundamental Group of the Circle in Homotopy Type Theory 2017-07-03 Paper Denotational cost semantics for...10 bytes (18 words) - 03:05, 25 September 2023