AI Chat AI Image Generator AI Video Text to Speech

Anonymous Variables in Imperative Languages

09/24/2017

∙

by Keehang Kwon, et al.

∙

∙

In this paper, we bring anonymous variables into imperative languages. Anonymous variables represent don't-care values and have proven useful in logic programming. To bring the same level of benefits into imperative languages, we describe an extension to C wth anonymous variables.

page 1

page 2

page 3

page 4

research

∙ 01/17/2023

Causal Models with Constraints

Causal models have proven extremely useful in offering formal representa...

0 Sander Beckers, et al. ∙

research

∙ 08/28/2019

Adding Data to Curry

Functional logic languages can solve equations over user-defined data an...

0 Michael Hanus, et al. ∙

research

∙ 03/31/2018

Generic Description of Well-Scoped, Well-Typed Syntaxes

We adapt the technique of type-generic programming via descriptions poin...

0 Gergő Érdi, et al. ∙

research

∙ 08/30/2023

Benchmarking for Integrating Logic Rules with Everything Else

Integrating logic rules with other language features is increasingly sou...

0 Yanhong A. Liu, et al. ∙

research

∙ 05/01/2019

Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?

The dream of programming language design is to bring about orders-of-mag...

0 Yannis Smaragdakis, et al. ∙

research

∙ 08/31/2020

Constraint-Logic Object-Oriented Programming with Free Arrays

Constraint-logic object-oriented programming provides a useful symbiosis...

0 Jan C. Dageförde, et al. ∙

research

∙ 06/09/2018

Type variables in patterns

For many years, GHC has implemented an extension to Haskell that allows ...

0 Richard A. Eisenberg, et al. ∙