Results 121 to 130 of about 8,375 (166)
Some of the next articles are maybe not open access.
Introduction to the Theory of Programming Languages
Choice Reviews Online, 2011Gilles Dowek, Jean-Jacques Lévy
openaire +2 more sources
Category theory and programming language semantics: An overview
1986I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics.
openaire +1 more source
Language and Equality Theory in Logic Programming
2001The underlying language of symbols used in logic programming is usually taken to be the one consisting of the symbols occurring in the program, or the program together with the query, but sometimes infinitely many function symbols are included. As far as Prolog or SLDNF-resolution are concerned, it makes no difference since these operate entirely ...
openaire +1 more source
Mechanizing the meta-theory of programming languages
ACM SIGPLAN Notices, 2005What 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)
2017We 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 +1 more source
Program Theory and the University of Hawai'i Korean Language Flagship Programs
The Korean Language in America, 2012ABSTRACT 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, 2000openaire +1 more source
Ranking programming languages by energy efficiency
Science of Computer Programming, 2021João Paulo Fernandes +2 more
exaly
Programming language foundations of computation theory
ACM SIGSOFT Software Engineering Notes, 2000openaire +1 more source