×

Found 10 Documents (Results 1–10)

Formal verification of atomicity requirements for smart contracts. (English) Zbl 1476.68148

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 44-64 (2020).
PDFBibTeX XMLCite
Full Text: DOI

HALO, Haskell to logic through denotational semantics. (English) Zbl 1301.68085

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 431-442 (2013).
MSC:  68N18 03B10 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Logic in computer science. Modelling and reasoning about systems. 2nd ed. (English) Zbl 1073.68001

Cambridge: Cambridge University Press (ISBN 0-521-54310-X/pbk; 978-0-521-83536-7/hbk). xiv, 427 p. (2004).
MSC:  68-01 03-01 03B70 68Q60 68T27 68Q55 94C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software