Výsledky vyhledávání - "Software and its engineering Software notations and tools Formal language definitions"

SIMULATION IN THE CALL-BY-NEED LAMBDA-CALCULUS WITH LETREC, CASE, CONSTRUCTORS, AND SEQ.

Autoři: SCHMIDT-SCHAUSS, MANFRED SABEL, DAVID MACHKASOVA, ELENA

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-50, 50p

Témata: SIMULATION methods & models, LAMBDA calculus, APPROXIMATION theory, MATHEMATICAL proofs, TREE graphs

Analysing Java's safety guarantees under concurrency.

Autoři: Lochbihler, Andreas

Zdroj: IT: Information Technology; Apr2014, Vol. 56 Issue 2, p82-86, 5p

Témata: JAVA programming language, PROGRAMMING language semantics, SOFTWARE engineering management, SANDBOXES (Computer science), CLOUD computing