Constructing generator of words of context-sensitive language on example of typed λ-calculus

E-resources

Peer reviewed Open access

Constructing generator of words of context-sensitive language on example of typed λ-calculus

Slieptsov, Igor O.; Wolfengagen, Viacheslav E.; Kosikov, Sergey V.

Procedia computer science, 2022, 2022-00-00, Volume: 213

Journal Article

The given paper considers a problem of generating words of a context-dependent language. It reviews the application of the problem to the unit testing of functions, examines in detail the use of generators in property-based testing. The context-dependent language of λ-calculus with a simple type system Λ→ is considered, and the problem is refined up to generating λ-terms with the given type within the given context. The article proposes a generation method that was implemented using the combinators of the fast-check library, which provides property-based testing in JavaScript.

Keep searching

Author

Slieptsov, Igor O. | Wolfengagen, Viacheslav E. | Kosikov, Sergey V.

Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.

Year	Impact factor		Edition		Category		Classification
Year	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Links to authors' personal bibliographies	Links to information on researchers in the SICRIS system

Source: Personal bibliographies and: SICRIS

Upload image

Shelf entry

Adding material to shelf was successful.

Adding material to shelf failed.

It was not necessary to add the material to the shelf.

Permalink

E-mail

Impact factor

Select the library membership card:

DRS, in which the journal is indexed

Citations

Theme