Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Algebraic Methods in Programming, Volume 94
Volume 94, January 2018
- Marco Paviotti
, Jesper Bengtson:
Formally verifying exceptions for low-level code with separation logic. 1-14 - José Nuno Oliveira:
Programming from metaphorisms. 15-44 - Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam:
On the accuracy of formal verification of selective defenses for TDoS attacks. 45-67 - Siddharth Bhaskar:
Recursion versus tail recursion over ‾𝔽p. 68-90 - Dines Bjørner:
To every manifest domain a CSP expression - a rôle for mereology in computer science. 91-108 - Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf:
Virtually timed ambients: A calculus of nested virtualization. 109-127 - Naoki Nishida, Adrián Palacios, Germán Vidal:
Reversible computation in term rewriting. 128-149 - Marco Bernardo:
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics. 150-182
- Ichiro Hasuo:
Preface. 183 - David Sprunger:
A complete logic for behavioural equivalence in coalgebras of finitary set functors. 184-199 - Bart Jacobs:
From probability monads to commutative effectuses. 200-237
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 19:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
