Výsledky vyhľadávania - "Theory of computation Semantics AND reasoning Program reasoning Program verification*"

RANKING TEMPLATES FOR LINEAR LOOPS.

Autori: LEIKE, JAN HEIZMANN, MATTHIAS

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

Predmety: LINEAR systems, LEXICOGRAPHY, MATHEMATICAL functions, MATHEMATICS theorems, MATHEMATICAL programming

ASPECT-ORIENTED LINEARIZABILITY PROOFS.

Autori: CHAKRABORTY, SOHAM HENZINGER, THOMAS A. SEZGIN, ALI a ďalší

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

Predmety: MATHEMATICAL proofs, QUEUING theory, SIMULATION methods & models, LINEAR systems, MATHEMATICAL models

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Autori: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE a ďalší

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

Predmety: SEPARATION (Technology), THREADS (Computer programs), JAVA programming language, PROGRAMMING languages, MATHEMATICAL models

STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS.

Autori: ABDULLA, PAROSH AZIZ CLEMENTE, LORENZO MAYR, RICHARD a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-21, 21p

Predmety: STOCHASTIC processes, GAME theory, ALGORITHMS, PROBLEM solving, SYSTEMS theory, DECISION making

STOCHASTIC TIMED AUTOMATA.

Autori: BERTRAND, NATHALIE BOUYER, PATRICIA BRIHAYE, THOMAS a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-73, 73p

Predmety: STOCHASTIC analysis, MACHINE theory, DISCRETE choice models, PROBLEM solving, PROBABILITY theory

DECIDABILITY PROBLEMS FOR ACTOR SYSTEMS.

Autori: DE BOER, FRANK S. JAGHOORI, MOHAMMAD MAHDI LANEVE, COSIMO a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 4, p1-29, 29p

Predmety: DECIDABILITY (Mathematical logic), PROBLEM solving, ACTOR (Computer program language), SYSTEMS design, COMPLETENESS theorem

THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT.

Autori: MARTINS, MANUEL A. MADEIRA, ALEXANDRE BARBOSA, LUÍS S.

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-40, 40p

Predmety: FORMAL methods (Computer science), MATHEMATIC morphism, SOFTWARE architecture, MATHEMATICAL transformations, NUMBER theory, GENERALIZATION

THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES.

Autori: HYVERNAT, PIERRE

Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-30, 30p

Predmety: INFORMATION theory, ALGORITHMS, COMPUTER software, PROGRAMMING languages, PERFORMANCE evaluation

REACHABILITY UNDER CONTEXTUAL LOCKING.

Autori: BONNET, RÉMI CHADHA, ROHIT MADHUSUDAN, P. a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 3, p1-17, 17p

Predmety: CONTEXTUAL analysis, CONTROL theory (Engineering), POLYNOMIAL time algorithms, COMPUTER programming, SYNCHRONIZATION, DATA analysis