Search Results - "Software AND its engineering Software notations AND tools General programming languages"

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

Authors: ALHOSBAN, AMAL MALIK, ZAKI HASHMI, KHAYYAM et al.

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

Subject Terms: 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.

Authors: CLOUSTON, RANALD BIZJAK, ALEŠ GRATHWOHL, HANS BUGGE et al.

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

Subject Terms: LAMBDA calculus, COMPUTER programming, RECURSION theory, TREE graphs, DIFFERENTIAL equations

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

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

Subject Terms: LINEAR systems, CALCULUS, MATHEMATICAL regularization, ALGORITHMS, DATA analysis

TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS.

Authors: DAMIANI, FERRUCCIO VIROLI, MIRKO

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

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

MONADS NEED NOT BE ENDOFUNCTORS.

Authors: ALTENKIRCH, THORSTEN CHAPMAN, JAMES UUSTALU, TARMO

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

Subject Terms: MONADS (Mathematics), MATHEMATICAL functions, VECTOR spaces, MATHEMATICAL models, ADJUNCTION theory

GLOBALLY GOVERNED SESSION SEMANTICS.

Authors: KOUZAPAS, DIMITRIOS YOSHIDA, NOBUKO

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

Subject Terms: SEMANTICS, BISIMULATION, MATHEMATICAL optimization, DISTRIBUTED computing, SYSTEMS design

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

AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.

Authors: BAUER, ANDREJ PRETNAR, MATIJA

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

Subject Terms: SYSTEMS design, PROGRAMMING languages, SEMANTICS, COMPUTATIONAL complexity, MATHEMATICS theorems

WHEN IS A CONTAINER A COMONAD?

Authors: AHMAN, DANEL CHAPMAN, JAMES UUSTALU, TARMO

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

Subject Terms: PROGRAMMING languages, DATA structures, TREE graphs, PARAMETERS (Statistics), ABSTRACT data types (Computer science), PROBLEM solving

CONSTRUCTING CATEGORIES AND SETOIDS OF SETOIDS IN TYPE THEORY.

Authors: PALMGREN, ERIK WILANDER, OLOV

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

Subject Terms: TYPE theory, MATHEMATICAL category theory, PROBLEM solving, MATHEMATICAL models, PROOF theory, ISOMORPHISM (Mathematics)

The essence of language-integrated query

Authors: James Cheney Sam Lindley Philip Wadler et al.

Contributors: James Cheney Sam Lindley Philip Wadler et al.

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

Subject Terms: lambda calculus, LINQ, quotation, Copeland and Maier (1984) decried the

Time: anti-quotation A quarter-century ago

File Description: application/pdf

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

Availability: 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