Results 211 to 220 of about 174,815,442 (248)

Mechanizing the meta-theory of programming languages

ACM SIGPLAN Notices, 2005
What does it mean for a programming language to exist? Usually languages are defined by an informal description augmented by a reference compiler whose behavior is regarded as normative. This approach works well so long as the one true implementation suffices, but as soon as we wish to have multiple compilers for the same language, we must agree on ...
openaire   +1 more source

Validating the Meta-Theory of Programming Languages (Short Paper)

2017
We report on work in progress in building an environment for the validation of the meta-theory of programming languages artifacts, for example the correctness of compiler translations; the basic idea is to couple property-based testing with binders-aware functional programming as the meta-language for specification and testing.
Guglielmo Fachini, Alberto Momigliano
openaire   +2 more sources

Program Theory and the University of Hawai'i Korean Language Flagship Programs

The Korean Language in America, 2012
ABSTRACT The paper presents the concept of 'program theory' as a way of conceptualizing key factors, presumably contributing to success, of a language program. It then considers two possible systemic structures advanced historically and eventually introduced into the literature of language teaching, that could be drawn on in ...
openaire   +1 more source

Theories of programming languages

ACM SIGSOFT Software Engineering Notes, 2000
openaire   +1 more source

Programming language foundations of computation theory

ACM SIGSOFT Software Engineering Notes, 2000
openaire   +2 more sources

A Python-Based Programming Language for High-Performance Computational Genomics

Nature Biotechnology, 2021
Bonnie Berger, Ibrahim Numanagić, Ariya Shajii   +2 more
exaly  

A theory of programming languages.

Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden, 1969
Orgass, R. J., Fitch, F. B.
openaire   +2 more sources

Language Program Evaluation: Theory and Practice

The Modern Language Journal, 1998
Kathryn A. Corl, Brian K. Lynch
openaire   +2 more sources

The Denotational Semantics of Programming Languages

Communications of the ACM, 1976
R D Tennent
exaly  

TNM: Our Language of Cancer

Ca-A Cancer Journal for Clinicians, 2004
F L Greene
exaly