scholarly journals A Theoretical Foundation for Programming Languages Aggregation

2015 ◽  
pp. 30-47 ◽  
Author(s):  
Ştefan Ciobâcă ◽  
Dorel Lucanu ◽  
Vlad Rusu ◽  
Grigore Roşu
Keyword(s):  
Programming Languages ◽  
Theoretical Foundation

scholarly journals Teaching Object-Oriented Programming is more than teaching: Object-Oriented Programming Languages

1988 ◽  
Vol 17 (251) ◽  
Author(s):  
Jørgen Lindskov Knudsen ◽  
Ole Lehrmann Madsen
Keyword(s):  
Programming Languages ◽  
Theoretical Foundation ◽  
Object Oriented ◽  
Research Area ◽  
Object Oriented Programming ◽  
Additional Insight ◽  
Solid Ground ◽  
Approach To Teaching ◽  
The Subject ◽  
Insight Into

<p>One of the important obligations of an expanding research area is to discuss how to approach the teaching of the subject. Without this discussion, we may find that the word is not spread properly, and thus that the results are not properly utilized in in dustry. Furthermore, discussing teaching the research area gives additional insight into the research area and its underlying theoretical foundation. In this paper we will report on our approach to teaching programming languages as a whole and especially teaching object-oriented programming.</p><p>The prime message to be told is that working from a theoretical foundation pays off. Without a theoretical foundation, the discussions are often centered around features of different languages. With a foundation, discussions may be conducted on solid ground. Furthermore, the students have significantly fewer difficulties in grasping the concrete programming languages when they have been presented with the theoretical foundation than without it.</p>

A module calculus for Pure Type Systems

2006 ◽  
Vol 17 (3) ◽  
pp. 287-352 ◽  
Author(s):  
JUDICAËL COURANT
Keyword(s):  
Programming Languages ◽  
Theoretical Foundation ◽  
Type Systems ◽  
Proof Assistants ◽  
Pure Type ◽  
Formal Basis ◽  
Pure Type Systems ◽  
Module Systems ◽  
Theoretical Foundations ◽  
Module System

AbstractSeveral proof-assistants rely on the very formal basis of Pure Type Systems (PTS) as their foundations. We are concerned with the issues involved in the development of large proofs in these provers such as namespace management, development of reusable proof libraries and separate verification. Although implementations offer many features to address them, few theoretical foundations have been laid for them up to now. This is a problem as features dealing with modularity may have harmful, unsuspected effects on the reliability or usability of an implementation.In this paper, we propose an extension of Pure Type Systems with a module system, $\mathcal{MC}_2$, adapted from SML-like module systems for programming languages. This system gives a theoretical framework addressing the issues mentioned above in a quite uniform way. It is intended to be a theoretical foundation for the module systems of proof-assistants such as Coq or Agda. We show how reliability and usability can be formalized as metatheoretical properties and prove they hold for $\mathcal{MC}_2$.

SAM-I: A prototype machine for dynamic, array-oriented programming languages

1992 ◽  
Vol 139 (4) ◽  
pp. 335
Author(s):  
R.F. Hobson ◽  
J.D. Hoskin ◽  
J.L. Simmons ◽  
R.W. Spilsbury
Keyword(s):  
Programming Languages ◽  
Dynamic Array

INFORMATION STRUCTURING FOR SOLVING TASKS IN SPREADSHEET ENVIRONMENT

2019 ◽  
pp. 42-46
Author(s):  
A. A. Nedbaylov
Keyword(s):  
Programming Languages ◽  
Engineering Students ◽  
Electronic Information ◽  
User Friendliness ◽  
Software Environment ◽  
C Programming ◽  
Source Data ◽  
Training Courses ◽  
Engineering Psychology ◽  
Different Levels

The calculations required in project activities for engineering students are commonly performed in electronic spreadsheets. Practice has shown that utilizing those calculations could prove to be quite difficult for students of other fields. One of the causes for such situation (as well as partly for problems observed during Java and C programming languages courses) lies in the lack of a streamlined distribution structure for both the source data and the end results. A solution could be found in utilizing a shared approach for information structuring in spreadsheet and software environment, called “the Book Method”, which takes into account the engineering psychology issues regarding the user friendliness of working with electronic information. This method can be applied at different levels in academic institutions and at teacher training courses.

Corporate Governance and Performance of Organizations

2018 ◽  
Vol 9 (5) ◽  
pp. 439-446
Author(s):  
Hamid Ait lemqeddem ◽  
◽  
Mounya Tomas ◽  
Keyword(s):  
Corporate Governance ◽  
Agency Theory ◽  
Theoretical Foundation ◽  
Quantitative Approach ◽  
Governance Practices ◽  
Deductive Method ◽  
Private And Public ◽  
Is Theory ◽  
And Performance ◽  
Do So

There is renewed interest in the need to focus on corporate governance in an environment where it is a performance imperative for all small and large organizations, private and public, beginner or established.The purpose of this study is to demonstrate the place of corporate governance practices in organizations to ensure that the board, officers, and directors take action to protect shareholder interests and all stakeholders. It is important to focus on the effect of these practices on improving performance and competitiveness. To do so, we opted for the hypothetico-deductive method with a quantitative approach. Our theoretical foundation is theory is agency theory.

CONTEMPORARY ASPECTS IN THE SELECTION OF TOOLS AND TECHNOLOGIES FOR DEVELOPING WEB SITES

2018 ◽  
pp. 125-131
Author(s):  
Petar Halachev ◽  
Aleksandra Todeva ◽  
Gergana Georgieva ◽  
Marina Jekova
Keyword(s):  
Programming Languages ◽  
Web Sites ◽  
Web Site ◽  
Work Process ◽  
Design And Development ◽  
Site Development ◽  
Complicated Process ◽  
The Creation ◽  
Guidelines And Recommendations ◽  
Selection Of

he report explores and analyzes the application of the most popular programming languages from different organizations: GitHub; Stackoverflow; the TIOBE's Community index. The main client technologies: HTML; CSS; JavaScript; Typescript are presented and analysed. Features are characterized and the advantages and the disadvantages of the server technologies are described: Java; PHP; Python; Ruby. The application areas for web site development technologies have been defined. The creation of a quality web site is a complex and complicated process, but by observing some guidelines and recommendations in the work process can help to select the tools and the technologies in its design and development.

Sign in / Sign up

Export Citation Format

Share Document