Search results

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

...on-linear programming]] problems, particularly those related to structural design and [[topology optimization]].<ref name=":0">Bendsøe, M. P., & Sigmund, O. ...|url=https://doi.org/10.1007/BF01743509 |journal=Structural Optimization |language=en |volume=6 |issue=3 |pages=166–174 |doi=10.1007/BF01743509 |s2cid=5418741 ...

{{Infobox programming language | name = KUKA Robot Language ...

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

...s may be modeled in this general framework. For example, the inputs can be design parameters of a motor while the output can be the power consumption. Other ...ware requires that the function ''f'' is defined in a suitable programming language and linked to the optimization software. The optimization software will del ...

...re prepared by its community of problem setters or are taken from previous programming contests. SPOJ allows advanced users to organize contests under their own r ...solution to problems can be submitted in over 40 programming [[programming language|languages]], including esoteric ones, via the Sphere Engine. It is run by t ...

...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 ...d Programming Languages|year=2002|publisher=MIT Press|title-link=Types and Programming Languages}} ...

...roblem to support selection of the optimal design among many alternatives. Design optimization involves the following stages: ...w|date=2021-10-01|publisher=Cambridge University Press|isbn=978-1108833417|language=en}}</ref> ...

...r [[program synthesis]] in software product lines. The [[feature-oriented programming]] page is recommended, it explains how an FOSD model of a domain is a tuple ...ation of metamodels is ''origami''. The essential idea is that a program's design need not be represented by a single expression; multiple expressions can be ...

...]], but may be solved optimally in [[pseudo-polynomial time]] by [[dynamic programming]].<ref>{{cite book | title = Algorithm Design and Applications ...

In [[theoretical computer science]], in particular in [[formal language theory]], the '''Brzozowski derivative''' <math>u^{-1}S</math> of a [[set ( ...title=Proc. AIEE 2nd Ann. Symp. on Switching, Circuit Theory, and Logical Design (SWCT), Detroit | publisher= | series= | volume= | pages=129&ndash;132 | da ...

{{Infobox programming language |programming language = SPAD, [[Aldor]], Boot, [[Common Lisp]] ...

...FOP''') or '''feature-oriented software development''' ('''FOSD''') is a [[programming paradigm]] for program generation in [[software product lines]] (SPLs) and ...new code to an existing program to produce a new program, and a program's design was modeled by an expression, i.e., a composition of transformations (layer ...

...used to describe phenomena in [[mathematics]], [[Mathematical programming|programming]], and [[logic]], as well as other areas that involve [[critical thinking]] ...ce the general solution may naturally have a simpler algorithm and cleaner design, and typically can take less time to solve in comparison with a particular ...

| programming language = [[ANSI C]], [[Fortran#FORTRAN 77|FORTRAN 77]], [[Fortran#Fortran 95|For | language = [[English language|English]] ...

...1974, he moved to the [[Christian Albrecht University of Kiel]] (Chair of Programming Languages and Compiler Construction). In 1999, he became a [[professor emer ...[[Lisp (programming language)|Lisp]], [[BASIC]], and [[Pascal (programming language)|Pascal]]) and [[expert system]]s and worked on verified compilers and auto ...

| language = English ...also the evaluation of robustness, i.e. the sensitivity towards scatter of design variables or random fluctuations of parameters.<ref name="OSL_broschure" /> ...

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

{{Short description|Software design structured around a node graph}} ...of atomic functional units. Node graphs are a type of [[visual programming language]]. ...

...ceedings of the seventh ACM SIGPLAN international conference on Functional programming|pages=26&ndash;35|publisher=[[Association for Computing Machinery|ACM]]|yea ...le=Proceedings of the 26th ACM International Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA 2011)|pages=407&ndash;426|publis ...