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.
993
questions
0
votes
0
answers
31
views
Completeness of bidirectional type checking by inversion
I'm currently reading through the completeness proof of the paper "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" by Dunfield et al.
In the second case Dunfield ...
3
votes
2
answers
955
views
Exception handling: 'catch' without explicit 'try'
I'm working on a new general-purpose programming language. Exception handling is supposed to be like in Rust, but simpler. I'm specially interested in feedback for exception handling (throw, catch).
...
-4
votes
2
answers
107
views
Are my ideas good enough to be hired by programming design groups?
Am I having any chance if I implement a system programming from scratch? I have some ideas. The first is to fix malloc in C. Add a last parameter to all function calls, use LINE and ThreadId and make ...
0
votes
0
answers
18
views
Compile vs Runtime Binding
I have java code. In first example, it is said that compile time binding is here, But in second example,
...
1
vote
1
answer
54
views
How to prove a function is a bijection (name mangling)?
I'm writing a compiler for a subset of Java, which does not permit overloading (but it does permit overriding). Static functions outside of main are not allowed.
We'...
0
votes
0
answers
33
views
What is the difference between software development and software engineering?
What is the difference between software development and software engineering?
And What are the foundations of each one of them?
0
votes
1
answer
57
views
can programming language be described by ambiguous grammar, if yes, will that cause any problem?
When someone tries to formally describe the syntax of programming languages, they describe with context-free grammar, then for every program we can derive parse tree that would correspond to that ...
1
vote
0
answers
60
views
How to convert wp equations into linear algebra equations?
I am reading this paper [1], wherein the authors first formulated a safety constraint in terms of wp equations. Then, they converted the equations into linear algebra form.
As per section 4.3, their ...
0
votes
1
answer
40
views
How are PCFGs used in programming language design?
I've been reading the wikipedia article about probabilistic context-free grammars (PCFGs), and they state that
PCFGs have application in areas as diverse as natural language processing to the study ...
0
votes
2
answers
50
views
Reference types
Is a reference type (agnostic of PL) the object being pointed at, or the object doing the pointing?
I'm having a hard time wrapping my head around the concept fundamentally (of course, I have ...
0
votes
2
answers
67
views
What is the precise difference between state and environment and memory?
I was just reading this question regarding the difference between environment and memory. However, the textbook in question, Essentials of Programming Languages, third edition, by Friedman and Wand, ...
1
vote
1
answer
38
views
Creating an executable after code generation - compiler design
I am learning about and building a very basic compiler. My question is about code generation. I have read on a lot of materials about code generation when building a compiler and I get the concept.
...
1
vote
2
answers
65
views
How are conflicts between free and bound de Bruijn indices resolved?
On page 77 (section 6.1) of Types and Programming Languages by Benjamin C. Pierce (1st and only edition thus far), there is the following quote regarding naming contexts and de Bruijn indices:
Γ = x ...
1
vote
0
answers
144
views
How to deal with missing variables when utilizing weakest precondition for verification?
I am reading the example given in [1], section 4.2. It deals with applying weakest precondition (wp) rules to ensure that the velocity of a car doesn't exceed a certain limit. We have the following ...
3
votes
1
answer
177
views
How did this work apply weakest precondition rule on their example car problem?
While reading the example given in [1]., I couldn't understand how the authors set up the logic to compute the weakest preconditions (wp) in their car example in section 4.2.
The dynamics of the ...