Search results
From MaRDI portal
- Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages 2015-09-14 Paper A Model of Countable Nondeterminism in Guarded...10 bytes (13 words) - 19:03, 24 September 2023
- Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages 2015-09-14 Paper https://portal.mardi4nfdi.de/entity/Q4649541...10 bytes (13 words) - 08:13, 25 September 2023
- BSP algorithms 2019-11-28 Paper Algorithmic Completeness of Imperative Programming Languages 2019-10-31 Paper...10 bytes (13 words) - 13:16, 24 September 2023
- name polymorphism 2016-08-05 Paper An imperative pure calculus 2016-08-05 Paper Aliasing Control in an Imperative Pure Calculus 2016-01-08 Paper Principal...10 bytes (14 words) - 02:32, 7 October 2023
- higher-order imperative programs 2015-01-06 Paper A step-indexed model of substructural state 2015-01-06 Paper Trace-based verification of imperative programs...10 bytes (15 words) - 08:57, 7 October 2023
- analyses for imperative languages 2007-01-09 Paper Explicit substitutions and higher-order syntax 2006-11-17 Paper Programming Languages and Systems 2006-10-20...10 bytes (15 words) - 01:57, 25 September 2023
- Object Oriented Languages 2007-11-28 Paper Foundations of Software Science and Computation Structures 2007-09-28 Paper Programming Languages and Systems 2007-09-28...10 bytes (13 words) - 08:06, 25 September 2023
- 2006-10-20 Paper Programming Languages and Systems 2006-10-20 Paper Recursive coalgebras from comonads 2006-06-30 Paper Programming Languages and Systems 2005-08-17...10 bytes (15 words) - 01:57, 25 September 2023
- 2006-10-20 Paper Programming Languages and Systems 2005-09-13 Paper Programming Languages and Systems 2005-08-17 Paper https://portal.mardi4nfdi.de/entity/Q4813409...10 bytes (15 words) - 01:59, 25 September 2023
- 2007-12-17 Paper Programming Languages and Systems 2007-05-02 Paper Selectors make set-based analysis too hard 2006-01-23 Paper Programming Languages and Systems...10 bytes (13 words) - 17:43, 6 October 2023
- coordination languages 2010-04-29 Paper Verification: Theory and Practice 2010-03-23 Paper Global Computing. Programming Environments, Languages, Security...10 bytes (15 words) - 17:04, 9 December 2023
- records 2022-08-16 Paper On abstraction and the expressive power of programming languages 2022-08-16 Paper Automated analysis of cryptographic assumptions...10 bytes (14 words) - 00:56, 10 December 2023
- Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages 2015-09-14 Paper Polymorphism and separation in hoare type...10 bytes (15 words) - 02:23, 9 December 2023
- Paper Automata, Languages and Programming 2006-01-10 Paper https://portal.mardi4nfdi.de/entity/Q5714435 2006-01-02 Paper Logic for Programming, Artificial...10 bytes (15 words) - 23:56, 9 December 2023
- coinductive type systems for imperative object-oriented programs 2011-06-10 Paper Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X):...10 bytes (13 words) - 16:00, 6 October 2023
- mardi4nfdi.de/entity/Q3593499 2007-07-20 Paper Programming Languages and Systems 2007-05-02 Paper Programming Languages and Systems 2007-05-02 Paper Typed Lambda...10 bytes (14 words) - 18:10, 24 September 2023
- semantics for declarative multi-paradigm languages 2007-10-19 Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning...10 bytes (13 words) - 02:15, 25 September 2023
- for the \(\pi\)-calculus 2006-01-10 Paper Programming Languages and Systems 2005-08-17 Paper Programming Languages and Systems 2005-08-17 Paper Dynamic Scaling...10 bytes (14 words) - 08:08, 25 September 2023
- the Structure and Complexity of Rational Sets of Regular Languages 2017-02-21 Paper Languages represented by Boolean formulas 2016-06-01 Paper Counterexample-guided...10 bytes (15 words) - 15:43, 24 September 2023
- patterns 2009-03-25 Paper Scrap Your Type Applications 2008-08-28 Paper Programming Languages and Systems 2007-05-02 Paper https://portal.mardi4nfdi.de/entity/Q4537007...10 bytes (14 words) - 04:31, 12 December 2023
