Search results

{{Short description|Method of computer program specification}} ...of Programming, invented by [[Eric Hehner]]. The central idea is that each specification is a binary ([[boolean domain|boolean]]) expression that is true of accepta ...

...ral correctness. Specifically, properties that clients can prove using the specification of an object's presumed type should hold even though the object is actually ...e=A behavioral notion of subtyping|journal=ACM Transactions on Programming Languages and Systems |language=EN|volume=16|issue=6|pages=1811–1841|doi=10.1145/1973 ...

...first=E.|last=Denney|citeseerx = 10.1.1.22.4988|title=Refinement types for specification|book-title=Proceedings of the IFIP International Conference on Programming ...Flux: Liquid Types for Rust |journal=Proceedings of the ACM on Programming Languages |date=6 June 2023 |volume=7 |issue=PLDI |pages=169:1533–169:1557 |doi=10.11 ...

== Behaviors and Languages of Timed Event System == [[Category:Formal specification languages]] ...

...Thatcher| author3=E.G. Wagner |chapter=An initial algebra approach to the specification, correctness and implementation of abstract data types |title=Current Trend The [[Syntax (programming languages)|syntax]] of an [[algebraic specification]] is formulated in two steps: (1) defining a formal signature of data types ...

...tor addition system''' ('''VAS''') is one of several mathematical modeling languages for the description of [[distributed systems]]. Vector addition systems wer [[Category:Formal specification languages]] ...

{{Short description|Specification and file format}} ...pril 2024}}</ref> It defines rules for how to format different programming languages or other structured text files with conventions such as what character to e ...

== Formal specification == [[Category:Query languages]] ...

...first1=Cliff B. |editor-first1=C. B |editor-last1=Jones |title=Programming Languages and Their Definition |date=1984 |volume=177 |doi=10.1007/BFb0048933 |chapte ...aniel J. |last2=Smyth |first2=Michael B. |date=1981-12-01 |title=Algebraic specification of data types: A synthetic approach |url=https://doi.org/10.1007/BF01752392 ...

== Language specification == [[Category:Hardware description languages]] ...

== Lexer specification == ...sive than the traditional [[Flex (lexical analyser generator)|Flex]] lexer specification syntax and may include indentation anchors, word boundaries, lazy quantifie ...

| title = GraphBLAS Specification ...either an [[adjacency matrix]] or an [[incidence matrix]]. The GraphBLAS specification describes how [[graph operations]] (e.g. traversing and transforming graphs ...

...by the entities correspond to the requirements given by the global service specification of the system.<ref name="Boch78"/> ...ception if the next message to be consumed is not expected by the behavior specification of the entity in its current state. The absence of this condition can be ve ...

...of the proof that NFA and regular expressions both accept exactly the same languages; that is, the [[regular language]]s. The converse of Glushkov's algorithm i ...ions, in particular by the [[Unix]] [[grep]] command. Similarly, [[XML]]'s specification also uses such constructions; for more efficiency, regular expressions of a ...

[[Category:Formal specification languages]] ...

...t=Thielecke|first=Hayo|date=December 9, 2015|title=Implementing functional languages with abstract machines|url=https://www.cs.bham.ac.uk/~hxt/2015/compilers/co ...niel P.|date=October 1986|title=A Calculus for Assignments in Higher-Order Languages|url=https://legacy.cs.indiana.edu/ftp/techreports/TR202.pdf|archive-url=|ar ...

dimensions in the opposite order from its original specification: specifications. If each dimension has k values, an n-cube specification of a program ...

...ey]] (see [[#Comparison of languages with intersection types|comparison of languages with intersection types]]), use intersection types to combine interface spe Other programming languages, such as [[Java_(programming_language)|Java]], require distinct implementat ...

...l B</math> of [[Binary tree|binary trees]] can be defined by the recursive specification ...n a_n \frac{z^{n-1}}{n!}</math>A differential specification is a recursive specification of type ...

[[Category:Formal specification languages]] ...