Zobrazeno 1 - 10
of 379
pro vyhledávání: '"Gardner PA"'
Publikováno v:
32nd European Conference on Object-Oriented Programming (ECOOP 2018)
POSIX is a standard for operating systems, with a substantial part devoted to specifying file-system operations. File-system operations exhibit complex concurrent behaviour, comprising multiple actions affecting different parts of the state: typicall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54067c4973b86dbc9563b2704c336285
Publikováno v:
Mathematical Foundations of Programming Semantics XXXI (MFPS 2015)
© 2015 Published by Elsevier B.V.The specification of a concurrent program module is a difficult problem. The specifications must be strong enough to enable reasoning about the intended clients without reference to the underlying module implementati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1032::18acb9bb2a4114e89663263e9d2b5252
http://hdl.handle.net/10044/1/23468
http://hdl.handle.net/10044/1/23468
Publikováno v:
ACM SIGPLAN Workshop ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X)
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step towards a compositional specification of DOM. Unlike DOM, we are able to work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1032::75dcf1cb4bbea551cb3f14bc0510b383
http://hdl.handle.net/10044/1/33179
http://hdl.handle.net/10044/1/33179
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Australian Journal of Agricultural Research; 1995, Vol. 46 Issue: 1 p75-88, 14p
Publikováno v:
Australian Journal of Agricultural Research; 1994, Vol. 45 Issue: 3 p511-528, 18p