Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,052,385 papers from all fields of science
Search
Sign In
Create Free Account
Procedural programming
Known as:
Procedural code
, Procedural programming languages
, Procedure orientation
Expand
Procedural programming is a programming paradigm, derived from structured programming, based upon the concept of the procedure call. Procedures, also…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ALGOL 58
ALGOL 60
ALGOL W
Anemic domain model
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Professional Thinking Formation Features of Prospective Natural Science Teachers Relying on the Competence-Based Approach
S. Gilmanshina
,
R. Sagitova
,
+4 authors
N. S. Motorygina
2015
Corpus ID: 59130968
This paper experimentally proved and implemented a specific approach to designing a control system for formation and development…
Expand
2013
2013
A grammar of Tafi
M. Bobuafor
2013
Corpus ID: 62361640
This dissertation is a comprehensive description of Tafi, one of the fourteen Ghana-Togo Mountain (GTM) languages, spoken by…
Expand
2013
2013
Toward a recalibrated human right to a clean and healthy environment: making the conceptual transition
Burns H. Weston
,
D. Bollier
2013
Corpus ID: 102344003
Despite many noble efforts to champion the right to a clean and healthy environment and related regulation, the official…
Expand
Review
2010
Review
2010
Traditions in Conflict: The Internationalization of Confrontation
K. Vanderpuye
2010
Corpus ID: 152853787
This article considers international norms concerning the right to adversarial confrontation in positing a normative analytical…
Expand
1999
1999
Strengthening the Supervision of the International Covenant on Economic, Social and Cultural Rights: Theoretical and Procedural Aspects
Kitty Arambulo
1999
Corpus ID: 152803856
This work explores economic, social and cultural rights from two perspectives, theoretical and procedural. It aims to provide a…
Expand
1997
1997
Achieving Justice Before the International War Crimes Tribunal: Challenges for the Defense Counsel
M. Ellis
1997
Corpus ID: 56098358
At 10:00 a.m. on Tuesday, May 7, 1996, the first trial under jurisdiction of the International Criminal Tribunal for the former…
Expand
Highly Cited
1995
Highly Cited
1995
Formal object-oriented development
K. Lano
FACIT: Formal approaches to computing and…
1995
Corpus ID: 43420410
1 Introduction.- 1.1 Why is Mathematics Useful?.- 1.2 Formal Methods in Software Development.- 1.3 Formal Methods and Object…
Expand
1994
1994
Diagnostic Assessment of Troubleshooting Skill in an Intelligent Tutoring System.
D. Gitomer
,
L. Steinberg
,
R. Mislevy
1994
Corpus ID: 58085243
Abstract : This paper lays out the rationale and implementation of student modeling and updating in the HYDRIVE intelligent…
Expand
Highly Cited
1982
Highly Cited
1982
Test Generation Algorithms for Computer Hardware Description Languages
Y. Levendel
,
P. R. Menon
IEEE transactions on computers
1982
Corpus ID: 8484816
This paper proposes an extension of the D-algorithm to functions described in computer hardware description languages. The…
Expand
Review
1977
Review
1977
Two views of data semantics: a survey of data models in artificial intelligence and data management
J. Mylopoulos
1977
Corpus ID: 59761158
AbstractThe goal of this paper is to establish that there exists a strong relationship between current issues of data models in…
Expand