Search results

...|title=Kleene algebra with tests |journal=ACM Transactions on Programming Languages and Systems |date=May 1997 |volume=19 |issue=3 |pages=427–443 |doi=10.1145/ ...the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages |date=14 January 2015 |pages=357–368 |doi=10.1145/2676726.2677007 |arxiv=14 ...

...3840486}}</ref> Session type systems have been adapted for both [[Channel (programming)|channel]] and [[Actor model|actor]] systems.<ref>{{cite arXiv |last1=Fowle ...types, beyond duality |journal=Journal of Logical and Algebraic Methods in Programming |date=June 2018 |volume=97 |pages=55–84 |doi=10.1016/j.jlamp.2018.01.001|s2 ...

...are_hist.pdf | author=C.A.R. Hoare | title=An Axiomatic Basis for Computer Programming | journal=Communications of the ACM | volume=12 | number=10 | pages=576&nda ...cs">{{cite book |last1=Roscoe |first1=A.W. |date=2010 |title=Understanding Concurrent Systems |series=Texts in Computer Science |doi=10.1007/978-1-84882-258-0 |i ...

...e condition#Data race|data races]]) in [[Thread (computing)#Multithreading|concurrent programs]], where a runtime monitor is used to predict errors which did not In the context of [[Thread (computing)#Multithreading|concurrent programs]], a predictive technique is ''sound'' if it only predicts concurr ...

...1983.</ref> and can be used as a model of [[concurrency (computer science)|concurrent]] processes like [[Petri nets]]. Communicating finite-state machines are us ...alis. "Communicating hierarchical state machines," Automata, Languages and Programming. Prague: ICALP, 1999</ref> ...

{{Short description|Programming language}} ...pages 169-206. Springer, 2011.</ref> is a [[domain-specific language]] for programming and analyzing coordination protocols that compose individual ''processes'' ...

{{Infobox programming language ...onal]], [[Purely functional programming|Purely functional]], [[Declarative programming]] ...

...{{math|''M'' × ''M''}} matrices can be processed by {{math|''M'' × ''M''}} concurrent threads on a GPGPU device without any output data dependency. Therefore, th ==GPU programming languages== ...

{{Infobox programming language | title = Specifying Concurrent Systems with TLA⁺ ...

Current operating systems and programming languages are typically not designed with DSU in mind. As such, DSU implementations c ...y other program capable of being executed, even one written in a different programming language. Systems designers can extract valuable performance or safety assu ...

{{infobox programming language ...n Hentenryck|first=Pascal|date=1989|title=Constraint Satisfaction in Logic Programming|url=|publisher=The MIT Press |location= Cambridge, MA, USA|volume=|pages=|v ...

...at least, a method to represent mathematical data in a computer, a user [[programming language]] (usually different from the language used for the implementation ...2006) | pages = 43–49 |isbn=9788468983813 |oclc=496720771}}</ref> In some languages, the name of the field is not a direct translation of its English name. Typ ...

...erous groundbreaking technologies during the early 1960s, notably in multi-programming, utilizing tools that were still in their nascent stages. Upon its release, ...ies of discrete, specialized processing units. This design allowed for the concurrent operation of up to five clusters, each containing five processing units.<re ...

...nguage interfaces, some graph databases are accessed through [[application programming interface]]s (APIs). ...an arc for the predicate. A node may be left blank, a [[Literal (computer programming)|literal]] and/or be identified by a [[Uniform Resource Identifier|URI]]. A ...

...uding terms relevant to [[software]], [[data science]], and {{gli|computer programming}}. ...methods are used to specify {{gli|interface|interfaces}} in some computer languages.<ref>{{cite web|title=Abstract Methods and Classes|url=http://docs.oracle.c ...

...the reference point for many large-scaling training runs, there had been a concurrent effort to go "beyond Chinchilla scaling", meaning to modify some of the tra ...imal scaling when all available data is already exhausted (such as in rare languages), so one must train multiple epoches over the same dataset (whereas Chinchi ...

{{defn|The dynamic programming equation associated with [[discrete-time]] optimization problems.<ref>{{cit ...l tools for the design of automated [[internet economy|internet market]]s, programming tools specifically designed for computational economics, and pedagogical to ...