Search results

{{Short description|Constraint logic programming language}} ...hmetic in a logic programming language differs from other constraint logic programming ...

...ecification|book-title=Proceedings of the IFIP International Conference on Programming Concepts and Methods|volume=125|pages=148–166|publisher=Chapman & Hall|year ...|url=https://doi.org/10.1145/3591283|doi-access=free }}</ref> and [[Scala (programming language)|Scala]]. ...

...|imperative]] features, in particular the [[ML (programming language)|ML]] programming language family, the '''value restriction''' means that [[declaration (comp ...":0" /> are [[typing rule]]s for references and related operators in [[ML (programming language)|ML]]-like languages. ...

...tood in terms of machine states and transitions (see [[formal semantics of programming languages]]), their state spaces may be too large to fully represent and an ...itle=Proc. 4th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP)|date=Aug 1992| volume=631| pages=269–296| publisher=Springer| edito ...

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

...tical_programming The Nature of Mathematical Programming]," ''Mathematical Programming Glossary'', INFORMS Computing Society.</ref> by systematically choosing inp ...ization software requires that the function ''f'' is defined in a suitable programming language and linked to the optimization software. The optimization software ...

...itle=Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 |chapter=Empty types in polymorphic lambda calculus |p ...

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

...) }}</ref><ref>{{cite book|last=Shapiro|first=Jeremy F.|title=Mathematical programming: Structures and algorithms|publisher=Wiley-Interscience [John Wiley & Sons] [[Category:Linear programming]] ...

There is a relatively simple [[dynamic programming]] algorithm for solving all-pairs CFL-reachability. The algorithm requires ...ll Graph Construction |journal=38th European Conference on Object-Oriented Programming (ECOOP 2024) |series=Leibniz International Proceedings in Informatics (LIPI ...

{{Infobox programming language ...radigm = [[Imperative programming|imperative]] ([[Procedural programming|procedural]]), [[Reversible computing|reversible]] ...

...first1=Keith D.|last1=Cooper|first2=Linda|last2=Torczon|title=Terminology, Principles, and Concerns (with examples from local value numbering)|url=http://booksit ...roceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 |chapter=A unified approach to global program optimiza ...

...r science|functions]], [[Class (computer programming)|classes]], [[modular programming|modules]] or [[File (computing)|files]] within a program. ...program consists mainly of [[Software token|tokens]]: [[Operator (computer programming)|operators]] and [[operand]]s. He concluded that a count of the number of u ...

...ata parallelism. It was pioneered by Guy Blelloch as part of the [[NESL]] programming language.<ref>{{cite journal|last=Blelloch|first=Guy|title=NESL: A Nested D ...42516.2442525|isbn=978-1-4503-1922-5 |s2cid=1005665 }}</ref> However, the principles underlying its simpler cases can be found in constructs such as the <code>v ...

...an iterative approach that relies on [[linear programming]] or [[nonlinear programming]] solvers to find a solution.<ref>{{cite journal|author=J.D. Hedengren |aut ===Principles of MHE=== ...

...tt |chapter=Derivative-free trajectory optimization with unscented dynamic programming |date=December 2016 |title=2016 IEEE 55th Conference on Decision and Contro ...zaki |first2=Ryu |last2=Funase |title=Tube Stochastic Differential Dynamic Programming for Robust Low-Thrust Trajectory Optimization Problems |conference=2018 AIA ...

...itle=Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89 | chapter=An efficient method of computing static sing ...

...=2004 }}</ref><ref>{{Cite book | author=Holmes, Shawn | title=Focus on Mod Programming for Quake III Arena | publisher=Premier Press | isbn=1-931841-56-X | date=2 ...nce.<ref>{{Cite book |last=Hughes |first=John F. |title=Computer graphics: principles and practice |date=2014 |publisher=Addison-Wesley |isbn=978-0-321-39952-6 | ...

...FOP''') or '''feature-oriented software development''' ('''FOSD''') is a [[programming paradigm]] for program generation in [[software product lines]] (SPLs) and ...gramming'' was coined;<ref name="FOP">{{cite web | title=Feature-Oriented Programming: A Fresh Look at Objects | url=http://www4.informatik.tu-muenchen.de/paper ...

...t can also be used to implement simple [[Imperative programming|imperative programming languages]]. A state in a CEK machine includes a control statement, environ A CEK machine can be created for any programming language so the term is often used vaguely. For example, a CEK machine coul ...