Search results

...n ''Proceedings of the International Colloquium on Automata, Languages and Programming'', Graz, Lecture Notes in Computer Science 71, Springer-Verlag, pp. 18 | publisher = Academic Press ...

...passed the teaching examination, became a scholarship holder of the German Academic Scholarship Foundation, and received his doctorate in 1960 under [[Heinrich ...ved to the [[Christian Albrecht University of Kiel]] (Chair of Programming Languages and Compiler Construction). In 1999, he became a [[professor emeritus]]. ...

| title = 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9–13, 2018, Prague, Czech Republic [[Category:Academic staff of the University of Cologne]] ...

...title=Relational e-matching |journal=Proceedings of the ACM on Programming Languages |volume=6 |issue=POPL |pages=35:1–35:22 |doi=10.1145/3498696|s2cid=23692458 ...Conference, LPAR-18, Merida, Venezuela, March 11–15, 2012 |title=Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings | series=Lecture Notes ...

{{Short description|Programming language}} ...t executed inside the '''LOOP''' statement. This allows for [[Conditional (programming)|branches]] in LOOP programs, where the conditional execution of a partial ...

...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 ...

'''Bayesian programming''' is a formalism and a methodology for having a technique to specify [[Pro ...=Juan |last3=Manuel Ahuactzin|first4=Kamel |last4=Mekhnacha|title=Bayesian Programming|url={{google books |plainurl=y |id=4XtcAgAAQBAJ}}|date=20 December 2013|pub ...

...lems |title=Optimization |editor-first=R. |editor-last=Fletcher |publisher=Academic Press |location=New York |year=1969 |pages=283–298 |isbn=0-12-260650-7 }}</ Since the 1970s, [[sequential quadratic programming]] (SQP) and [[interior point method]]s (IPM) have been given more attention ...

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 ...he annotations given in the model. AltaRica Data-Flow raised a significant academic and industrial interest. Integrated modeling environments have been develop ...

...ks on mathematics, which have been published in French, English, and other languages. Ekeland is known as the author of [[Ekeland's variational principle]] and ...ks were first written in French and then translated into English and other languages, where they received praise for their mathematical accuracy as well as thei ...

| publisher = Academic Press ...LP 2008)| title-link = International Colloquium on Automata, Languages and Programming }} ...

The '''[[Syntax (programming languages)|syntax]] of the [[SQL]] programming language''' is defined and maintained by [[ISO/IEC JTC 1/SC 32|ISO/IEC SC 3 Standard SQL allows two formats for [[Comment (computer programming)|comments]]: {{code|-- comment}}, which is ended by the first [[newline]], ...

...logic. This form of logic translation is specifically relevant for [[logic programming]] and [[metalogic]]. ...that associates expressions belonging to a [[Translation#Source and target languages|source language]] with expressions belonging to a target language.<ref>{{mu ...

| title = Proc. 36th International Colloquium Automata, Languages and Programming (ICALP '09) | title-link = International Colloquium on Automata, Languages and Programming ...

...orics on words became useful in the study of [[algorithm]]s and [[Computer programming|coding]]. It led to developments in [[abstract algebra]] and answering ope ...nt development in this field that focuses on the study of words and formal languages. A formal language is any set of symbols and combinations of symbols that ...

...words]] <math>u</math> and <math>v</math>, each over an [[Alphabet (formal languages)|alphabet]] <math>\Sigma \cup \Xi</math> comprising both constants (c.f. <m ...link.springer.com/book/10.1007/978-3-642-59136-5 |title=Handbook of Formal Languages |date=1997 |language=en |doi=10.1007/978-3-642-59136-5 |isbn=978-3-642-6386 ...

...more factorization algorithms see e.g. Knuth's book [[The Art of Computer Programming]] volume 2. ...ajolet|first2=Jean-Marc | last2=Steayaert |title = Automata, languages and programming |location=Aarhus| series = Lecture Notes in Comput. Sci.|volume = 140|pages ...

...del of computation, i.e., all programs that can be written in some given [[programming language]] that is general enough to be equivalent to a Turing machine. The === Programming consequences{{anchor|Avoiding the halting problem}} === ...

| publisher = Academic Press, Inc. ...ls/se7/html/jls-4.html#jls-4.2.3|archive-date=9 June 2012}}</ref> and [[J (programming language)|J]],<ref> ...