Výsledky vyhledávání - "Software and its engineering Software notations and tools General programming languages"

A Two Phases Self-healing Framework for Service-oriented Systems.

Autoři: ALHOSBAN, AMAL MALIK, ZAKI HASHMI, KHAYYAM a další

Zdroj: ACM Transactions on the Web; Apr2021, Vol. 15 Issue 2, p49-73, 25p

Témata: QUALITY of service, CUSTOMER services, COMPUTER network protocols, INFORMATION services, SERVICE-oriented architecture (Computer science)

THE GUARDED LAMBDA-CALCULUS: PROGRAMMING AND REASONING WITH GUARDED RECURSION FOR COINDUCTIVE TYPES.

Autoři: CLOUSTON, RANALD BIZJAK, ALEŠ GRATHWOHL, HANS BUGGE a další

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 3, p1-39, 39p

Témata: LAMBDA calculus, COMPUTER programming, RECURSION theory, TREE graphs, DIFFERENTIAL equations

TYPE RECONSTRUCTION FOR THE LINEAR π-CALCULUS WITH COMPOSITE REGULAR TYPES.

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

Témata: LINEAR systems, CALCULUS, MATHEMATICAL regularization, ALGORITHMS, DATA analysis

TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS.

Autoři: DAMIANI, FERRUCCIO VIROLI, MIRKO

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

Témata: SELF-stabilization (Computer science), LARGE scale systems, COMPUTATIONAL complexity, COMPUTER engineering, DATA structures, SENSOR networks

MONADS NEED NOT BE ENDOFUNCTORS.

Autoři: ALTENKIRCH, THORSTEN CHAPMAN, JAMES UUSTALU, TARMO

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

Témata: MONADS (Mathematics), MATHEMATICAL functions, VECTOR spaces, MATHEMATICAL models, ADJUNCTION theory

GLOBALLY GOVERNED SESSION SEMANTICS.

Autoři: KOUZAPAS, DIMITRIOS YOSHIDA, NOBUKO

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

Témata: SEMANTICS, BISIMULATION, MATHEMATICAL optimization, DISTRIBUTED computing, SYSTEMS design

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

AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.

Autoři: BAUER, ANDREJ PRETNAR, MATIJA

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

Témata: SYSTEMS design, PROGRAMMING languages, SEMANTICS, COMPUTATIONAL complexity, MATHEMATICS theorems

WHEN IS A CONTAINER A COMONAD?

Autoři: AHMAN, DANEL CHAPMAN, JAMES UUSTALU, TARMO

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

Témata: PROGRAMMING languages, DATA structures, TREE graphs, PARAMETERS (Statistics), ABSTRACT data types (Computer science), PROBLEM solving

CONSTRUCTING CATEGORIES AND SETOIDS OF SETOIDS IN TYPE THEORY.

Autoři: PALMGREN, ERIK WILANDER, OLOV

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

Témata: TYPE theory, MATHEMATICAL category theory, PROBLEM solving, MATHEMATICAL models, PROOF theory, ISOMORPHISM (Mathematics)

The essence of language-integrated query

Autoři: James Cheney Sam Lindley Philip Wadler a další

Přispěvatelé: James Cheney Sam Lindley Philip Wadler a další

Zdroj: http://homepages.inf.ed.ac.uk/slindley/papers/essence-of-linq-draft-march2013.pdf.

Témata: lambda calculus, LINQ, quotation, Copeland and Maier (1984) decried the

Time: anti-quotation A quarter-century ago

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.1757

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.1757
http://homepages.inf.ed.ac.uk/slindley/papers/essence-of-linq-draft-march2013.pdf