Questions tagged [programming-languages]
Questions related to design, implementation, and analysis of programming languages. NOT for questions about how to program, which are off-topic on this site.
1,008 questions
0 votes
0 answers
27 views
IC3/PDR: Why is $\neg s$ included in the relative induction query?
I am currently trying to understand the IC3/PDR algorithm. My intuitive understanding is that in each iteration, IC3 tries to find a counterexample $c$ (which is a single, concrete state) such that $c ...
0 votes
0 answers
56 views
How to minimize parentheses when stringifying arithmetic AST for right-to-left evaluation languages with different precedence rule?
I'm looking at translations to and from APL, which has right-to-left evaluation and no operator precedence. Is there a known algorithm to minimize parentheses usage when keeping the same operators for ...
- 123
3 votes
2 answers
186 views
Is there any research on "fixed points of bugs"?
Is there any research on or at least formulation of the concept of "fixed points of bugs"? That is, suppose we have an implementation $I$ (e.g., a compiler or interpreter) of a programming ...
- 117
2 votes
1 answer
262 views
Language constructs vs. forms in semantic modeling
I saw the following paragraph in a data modeling article: Semantics relates to the study of references, specifically describing the real meaning between symbols or words. In computer science, ...
- 127
2 votes
2 answers
356 views
Strongest criticisms of object-oriented languages?
Linus Torvalds has famously attacked the object-oriented language C++, but he didn't offer many specifics about why, besides saying C++ uses "inefficient abstracted programming models". What ...
- 224
1 vote
0 answers
85 views
factual error in the book ' The Formal Semantics of Programming Languages: An Introduction ' by Glynn Winskel
is there any official or unofficial site dedicated to errata on this book ? This book was published in 1993 and is still prominent in the subject it discusses. No other editions , only one edition. ...
- 141
-4 votes
1 answer
111 views
How to write the Python Program for the following condition?
How to write a Python Program for the following condition: Let me explain how I tried to write the code. $a=$ int$($input$($'enter the first integer between $1$ and $9$'$))$ $b=$ int$($input$($'enter ...
user176748
0 votes
0 answers
72 views
Why [b] → Int < a → Int holds according to the contravariant manner for function types but length is a counter example for that
In the paper Practical type inference for arbitrary-rank types, the covariance and contravariance rules are essential when dealing with function types. Covariance applies to the return types of ...
- 31