Search Results - "Theory of computation Semantics AND reasoning Program reasoning Program verification~"

RANKING TEMPLATES FOR LINEAR LOOPS.

Authors: LEIKE, JAN HEIZMANN, MATTHIAS

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

Subject Terms: LINEAR systems, LEXICOGRAPHY, MATHEMATICAL functions, MATHEMATICS theorems, MATHEMATICAL programming

ASPECT-ORIENTED LINEARIZABILITY PROOFS.

Authors: CHAKRABORTY, SOHAM HENZINGER, THOMAS A. SEZGIN, ALI et al.

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

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

PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.

Authors: AMIGHI, AFSHIN HAACK, CHRISTIAN HUISMAN, MARIEKE et al.

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

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

STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS.

Authors: ABDULLA, PAROSH AZIZ CLEMENTE, LORENZO MAYR, RICHARD et al.

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

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

STOCHASTIC TIMED AUTOMATA.

Authors: BERTRAND, NATHALIE BOUYER, PATRICIA BRIHAYE, THOMAS et al.

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

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

DECIDABILITY PROBLEMS FOR ACTOR SYSTEMS.

Authors: DE BOER, FRANK S. JAGHOORI, MOHAMMAD MAHDI LANEVE, COSIMO et al.

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

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

THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT.

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

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

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

THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES.

Authors: HYVERNAT, PIERRE

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

Subject Terms: INFORMATION theory, ALGORITHMS, COMPUTER software, PROGRAMMING languages, PERFORMANCE evaluation

REACHABILITY UNDER CONTEXTUAL LOCKING.

Authors: BONNET, RÉMI CHADHA, ROHIT MADHUSUDAN, P. et al.

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

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