Search results
Jump to navigation
Jump to search
- ...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]]. ...3 KB (436 words) - 15:01, 3 July 2024
- {{Short description|Constraint logic programming language}} ...hmetic in a logic programming language differs from other constraint logic programming ...3 KB (348 words) - 02:03, 22 April 2024
- ...WSML - a Language Framework for Semantic Web Service. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27–28 April 2005. http://dip.semantic ...Fensel: The WSML rule languages for the Semantic Web. W3C Workshop on Rule Languages for Interoperability, Washington USA, 27–28 April 2005. http://dip.semantic ...3 KB (334 words) - 14:30, 17 August 2023
- {{short description|Programming language with strong abstraction from details of hardware}} {{infobox programming language ...3 KB (405 words) - 13:50, 1 November 2023
- ...s of machine states and transitions (see [[formal semantics of programming languages]]), their state spaces may be too large to fully represent and analyse. Mod ...itle=Proc. 4th Int. Symp. on Programming Language Implementation and Logic Programming (PLILP)|date=Aug 1992| volume=631| pages=269–296| publisher=Springer| edito ...4 KB (602 words) - 01:09, 20 December 2024
- | programming language = [[C++]] ...gz3.html |archive-date=February 9, 2023 |access-date=May 21, 2023 |website=Programming Z3}}</ref> ...6 KB (818 words) - 02:32, 21 January 2025
- ...|imperative]] features, in particular the [[ML (programming language)|ML]] programming language family, the '''value restriction''' means that [[declaration (comp ...references and related operators in [[ML (programming language)|ML]]-like languages. ...5 KB (753 words) - 16:44, 1 February 2023
- |title=Continuous-system simulation languages: A state-of-the-art survey|publisher=Elsevier Science Publishers B. V. Amst |url=http://www.techiwarehouse.com/cat/17/BASIC-Programming ...4 KB (537 words) - 17:53, 7 November 2021
- Some [[Functional programming|functional programming languages]] make explicit use of type constructors. A notable example is [[Haskell]], * {{Cite book|last=Pierce|first=Benjamin|title=Types and Programming Languages|publisher=MIT Press|date=2002|isbn=0-262-16209-1}}, chapter 29, "Type Opera ...3 KB (483 words) - 20:19, 15 August 2023
- {{Distinguish|List of conspiracy theories#Predictive programming}} ...rogram refinement|refinement]], more recently called a Practical Theory of Programming, invented by [[Eric Hehner]]. The central idea is that each specification i ...4 KB (615 words) - 03:27, 7 November 2024
- ...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 ...to problems can be submitted in over 40 programming [[programming language|languages]], including esoteric ones, via the Sphere Engine. It is run by the Polish ...10 KB (1,390 words) - 10:13, 19 January 2024
- ...uregina.ca}}</ref> [[Haskell (programming language)|Haskell]] and [[Scala (programming language)|Scala]]<!-- have to check Scala, but I bet it allows parametric p ...pes in this context. This normally includes function types in [[functional programming language]]s. ...9 KB (1,313 words) - 23:17, 27 May 2023
- ...ntext-free language]] in terms of two simpler languages. These two simpler languages, namely a [[regular language]] and a [[Dyck language]], are combined by mea |chapter= Context-Free Languages and Push-Down Automata ...4 KB (626 words) - 10:28, 10 October 2024
- {{Short description|Probabilistic logic programming language}} | programming language = [[Python (programming language)|Python]] ...10 KB (1,327 words) - 09:11, 28 June 2024
- ...|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 ...7 KB (874 words) - 19:18, 4 February 2025
- In [[computer programming]], '''bidirectional transformations (bx)''' are programs in which a single ...ce.gsdlab.org/images/e/e2/Nate-short.pdf |title=Semantics of Bidirectional Languages |access-date=2011-02-07 |archive-url=https://web.archive.org/web/2011072613 ...6 KB (926 words) - 22:07, 19 February 2024
- {{Short description|Programming language}} {{Infobox programming language ...7 KB (988 words) - 09:49, 13 March 2024
- In [[statically typed]] [[programming language]]s, these environments are used and maintained by [[typing rule]]s ...1 KB (218 words) - 23:44, 23 October 2024
- ...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 ...g Languages|year=2002|publisher=MIT Press|title-link=Types and Programming Languages}} ...4 KB (618 words) - 18:04, 20 November 2024
- {{Infobox programming language | influenced_by = [[Pascal (programming language)|Pascal]] ...3 KB (428 words) - 08:03, 12 February 2025