Search results
From MaRDI portal
- the design of a parallel object-oriented language 1989-01-01 Paper Denotational semantics of a parallel object-oriented language 1989-01-01 Paper https://portal...10 bytes (13 words) - 01:43, 7 October 2023
- service-oriented programming 2016-08-05 Paper Modular session types for objects 2016-01-07 Paper Modular session types for distributed object-oriented programming...10 bytes (13 words) - 02:32, 7 October 2023
- inheritance in object-oriented languages 2023-08-16 Paper An operational semantics for TOOPLE: A statically-typed object-oriented programming language 2023-04-28...10 bytes (15 words) - 11:08, 7 October 2023
- Publication Date of Publication Type Wrapper semantics of an object-oriented programming language with state 2022-08-16 Paper A record calculus with principal...10 bytes (14 words) - 09:43, 24 September 2023
- Interface Behavior of Object-Oriented Languages with Monitors 2021-05-25 Paper Behavioral interface description of an object-oriented language with futures and...10 bytes (13 words) - 12:00, 7 October 2023
- Publication Date of Publication Type FJQuantum. A quantum object oriented language 2017-05-19 Paper Interpretations on quantum fuzzy computing: intuitionistic...10 bytes (17 words) - 09:13, 7 October 2023
- dynamic memory management in reversible languages 2018-10-17 Paper Implementing reversible object-oriented language features on reversible machines 2018-03-16...10 bytes (13 words) - 21:00, 24 September 2023
- Paper An object-oriented deductive language 1997-08-27 Paper Constraint satisfaction with an object-oriented knowledge representation language 1995-06-30...10 bytes (13 words) - 12:06, 24 September 2023
- Paper Bounded Session Types for Object Oriented Languages 2008-09-17 Paper Session and Union Types for Object Oriented Programming 2008-06-19 Paper...10 bytes (13 words) - 09:58, 6 October 2023
- Behavioral Semantics for Object-Oriented Components 2007-11-28 Paper Infering Ownership Types for Encapsulated Object-Oriented Program Components 2007-09-24...10 bytes (15 words) - 14:50, 24 September 2023
- multibody analysis based on object-relational database technology 2003-01-09 Paper Using an extensible object-oriented query language in multibody system analysis...10 bytes (13 words) - 09:26, 9 December 2023
- Paper Verification of object-oriented programs: a transformational approach 2012-08-17 Paper Termination detection for active objects 2012-08-14 Paper Connectors...10 bytes (17 words) - 15:50, 9 December 2023
- interaction paradigms for active objects 2019-03-27 Paper A secrecy-preserving language for distributed and object-oriented systems 2018-06-27 Paper On detecting...10 bytes (13 words) - 01:00, 7 October 2023
- bisimulation 1994-10-18 Paper A layered semantics for a parallel object-oriented language 1992-09-27 Paper From failure to success: Comparing a denotational...10 bytes (21 words) - 23:56, 9 December 2023
- ArcAngel: a tactic language for refinement 2005-02-08 Paper A refinement strategy for Circus 2005-02-08 Paper Algebraic reasoning for object-oriented programming...10 bytes (13 words) - 10:57, 7 October 2023
- Principles in Specification Languages for Object-Oriented Programs 2008-05-27 Paper KeY: A Formal Method for Object-Oriented Systems 2007-11-28 Paper White-Box...10 bytes (13 words) - 08:58, 25 September 2023
- consumption in timed object-oriented models 2014-12-03 Paper Observable behavior of dynamic systems: component reasoning for concurrent objects 2013-12-06 Paper...10 bytes (16 words) - 01:00, 7 October 2023
- for sequential object-oriented programs 2007-08-23 Paper \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning 2006-12-14...10 bytes (16 words) - 10:35, 6 October 2023
- de/entity/Q5020658 2022-01-06 Paper Towards a Unified Language Architecture for Reversible Object-Oriented Programming 2021-11-03 Paper An efficient composition...10 bytes (15 words) - 02:16, 25 September 2023
- Formal Methods for Open Object-Based Distributed Systems 2010-01-12 Paper Behavioral interface description of an object-oriented language with futures and promises...10 bytes (13 words) - 09:03, 6 October 2023
