Výsledky vyhledávání - "Theory of computation Semantics and reasoning Program reasoning"

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL.

Autoři: Foster, Simon Hur, Chung-Kil Woodcock, Jim

Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-40, 40p

Témata: SOFTWARE engineering, SEMANTICS, LOGIC, MATHEMATICAL proofs, SIMULATION methods & models, PARALLEL programs (Computer programs), INTERACTIVE computer systems

RANKING TEMPLATES FOR LINEAR LOOPS.

Autoři: LEIKE, JAN HEIZMANN, MATTHIAS

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

Témata: LINEAR systems, LEXICOGRAPHY, MATHEMATICAL functions, MATHEMATICS theorems, MATHEMATICAL programming

ASPECT-ORIENTED LINEARIZABILITY PROOFS.

Autoři: CHAKRABORTY, SOHAM HENZINGER, THOMAS A. SEZGIN, ALI a další

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

Témata: MATHEMATICAL proofs, QUEUING theory, SIMULATION methods & models, LINEAR systems, MATHEMATICAL models

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Autoři: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE a další

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

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

STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS.

Autoři: ABDULLA, PAROSH AZIZ CLEMENTE, LORENZO MAYR, RICHARD a další

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

Témata: STOCHASTIC processes, GAME theory, ALGORITHMS, PROBLEM solving, SYSTEMS theory, DECISION making

STOCHASTIC TIMED AUTOMATA.

Autoři: BERTRAND, NATHALIE BOUYER, PATRICIA BRIHAYE, THOMAS a další

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

Témata: STOCHASTIC analysis, MACHINE theory, DISCRETE choice models, PROBLEM solving, PROBABILITY theory

DECIDABILITY PROBLEMS FOR ACTOR SYSTEMS.

Autoři: DE BOER, FRANK S. JAGHOORI, MOHAMMAD MAHDI LANEVE, COSIMO a další

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

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

INFERRING ALGEBRAIC EFFECTS.

Autoři: PRETNAR, MATIJA

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

Témata: COMPUTER programmers, ALGORITHMS, INFORMATION theory, PROGRAMMING languages, ALGEBRA

THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT.

Autoři: MARTINS, MANUEL A. MADEIRA, ALEXANDRE BARBOSA, LUÍS S.

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

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

THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES.

Autoři: HYVERNAT, PIERRE

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

Témata: INFORMATION theory, ALGORITHMS, COMPUTER software, PROGRAMMING languages, PERFORMANCE evaluation

REACHABILITY UNDER CONTEXTUAL LOCKING.

Autoři: BONNET, RÉMI CHADHA, ROHIT MADHUSUDAN, P. a další

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

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