Filters








30,483 Hits in 4.7 sec

Towards a theory of semantics and compilers for programming languages

E.K. Blum
1969 Journal of computer and system sciences (Print)  
L is called a programming language and q5 is called a semantic operator. The words in the domain of q~ are called effective programs.  ...  Let (Lr, r be a Turing programming system and let F be a Turing compiler for (L, ~b).  ...  Hence, v* must be replaced by a numeral by a subcomputation of y, which means it is an ancestor. For arbitrary k > l, v*<~ vk-1 and vk-1 is an ancestor by the induction hypothesis.  ... 
doi:10.1016/s0022-0000(69)80016-4 fatcat:d35kgwqqlre6fliysy5j4d6lzq

A language based formalism for domain driven development

Wei Zhao
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The evolution of programming languages (e.g. machine languages, assembly languages and high level languages) has been the driving force for the evolution of software development from the machine-centric  ...  The 4GLs are defined in Two-Level Grammar++ and can be compiled into 3GLs using the 4GL compiler framework.  ...  By observing that a language definition is a definition of the composition of language elements (tokens), we are motivated to use the language theory and techniques to define feature compositions (domain  ... 
doi:10.1145/949344.949449 dblp:conf/oopsla/Zhao03a fatcat:s5xkd5z63nchdmbrsoclxh5lta

A language based formalism for domain driven development

Wei Zhao
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The evolution of programming languages (e.g. machine languages, assembly languages and high level languages) has been the driving force for the evolution of software development from the machine-centric  ...  The 4GLs are defined in Two-Level Grammar++ and can be compiled into 3GLs using the 4GL compiler framework.  ...  By observing that a language definition is a definition of the composition of language elements (tokens), we are motivated to use the language theory and techniques to define feature compositions (domain  ... 
doi:10.1145/949377.949385 fatcat:4k37qrspy5b77ggakau2qfqhe4

A language based formalism for domain driven development

Wei Zhao
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The evolution of programming languages (e.g. machine languages, assembly languages and high level languages) has been the driving force for the evolution of software development from the machine-centric  ...  The 4GLs are defined in Two-Level Grammar++ and can be compiled into 3GLs using the 4GL compiler framework.  ...  By observing that a language definition is a definition of the composition of language elements (tokens), we are motivated to use the language theory and techniques to define feature compositions (domain  ... 
doi:10.1145/949445.949449 fatcat:6x44kpl5hnb7hpqxwhhthl7fru

A language based formalism for domain driven development

Wei Zhao
2003 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03  
The evolution of programming languages (e.g. machine languages, assembly languages and high level languages) has been the driving force for the evolution of software development from the machine-centric  ...  The 4GLs are defined in Two-Level Grammar++ and can be compiled into 3GLs using the 4GL compiler framework.  ...  By observing that a language definition is a definition of the composition of language elements (tokens), we are motivated to use the language theory and techniques to define feature compositions (domain  ... 
doi:10.1145/949344.949385 dblp:conf/oopsla/Zhao03 fatcat:qoukdzg7wbg4za66qcmq2gfbcy

Mechanized Semantics for Compiler Verification [chapter]

Xavier Leroy
2012 Lecture Notes in Computer Science  
The formal verification of compilers and related programming tools depends crucially on the availability of appropriate mechanized semantics for the source, intermediate and target languages.  ...  In this invited talk, I review various forms of operational semantics and their mechanization, based on my experience with the formal verification of the CompCert C compiler.  ...  We then wanted to account for unstructured control (the goto statement) and nondeterministic evaluation order of C, and also to make provisions for a future extension towards shared-memory concurrency-many  ... 
doi:10.1007/978-3-642-35308-6_2 fatcat:fkgmhcapq5cn7bteieddyqql7i

Mechanized Semantics for Compiler Verification [chapter]

Xavier Leroy
2012 Lecture Notes in Computer Science  
The formal verification of compilers and related programming tools depends crucially on the availability of appropriate mechanized semantics for the source, intermediate and target languages.  ...  In this invited talk, I review various forms of operational semantics and their mechanization, based on my experience with the formal verification of the CompCert C compiler.  ...  We then wanted to account for unstructured control (the goto statement) and nondeterministic evaluation order of C, and also to make provisions for a future extension towards shared-memory concurrency-many  ... 
doi:10.1007/978-3-642-35182-2_27 fatcat:l5xttazukbg3zkniaxu5dqysme

References & bibliography [chapter]

1978 Lecture Notes in Computer Science  
Grp., 1974. & C.Strachey: "A Theory of Programming Language Semantics", Chapman and Hall, 1976.  ...  : "Consistent and Complementary Formal Theories of the Semantics of Programming Lan= guages", Acta Informatica, vol.3, pp.135-153, 1974.  ... 
doi:10.1007/3-540-08766-4_14 fatcat:axryqtlzh5bmpdm4ljtivsc4a4

PhD Abstracts

GRAHAM HUTTON
2017 Journal of functional programming  
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  Many students complete PhDs in functional programming each year.  ...  In the second part we present Kleenex, a language for expressing high-performance streaming string processing programs as regular grammars with embedded semantic actions, and its compilation to streaming  ... 
doi:10.1017/s0956796817000089 fatcat:p2yk5sbqazcuriv33wdtzekcc4

Foundations of Programming Languages

T. Clement
1989 Science of Computer Programming  
The rest of the book is devoted to giving a formal operational semantics and compiler for the programming language PROSA, a local Pascal derivative.  ...  Thus this book covers aspects of courses in programming, formal languages, compiler construction and principles of programming languages in a conventional syllabus.  ...  Bjdrner and C.B. Jones, Formal Specijication and Software Deuelopmenr (Prentice-Hall International, Hemel Hempstead, UK, 1982  ... 
doi:10.1016/0167-6423(89)90023-3 fatcat:jec6l4daqbhdbaevn6vomzujq4

Book reports

1991 Computers and Mathematics with Applications  
Computation complexity and constraint logic programming languages. 23. Meta programming as constraint programming. 24. Janus: A step towards distributed constraint programming. Part IX. Theory. 25.  ...  Semantics. 1. Failure and success made symmetric. 2. Algebraic properties of a class of logic programs. 3. Stationary semantics for disjunctive logic programs and deductive databases. Part II.  ... 
doi:10.1016/0898-1221(91)90056-a fatcat:orugqwgfgvdd5km6epzzee6urq

KWIC (key word in context)

1984 The Journal of Logic Programming  
Model to Efficient Compilation of Patterns [166]From Abstract PROLOG Instruction Set [672]An Abstract PROLOG Machine-a Specification [383] Abstract PROLOG Machine and its Application to Partial Evaluation  ...  [336] on of an Abstract PROLOG Machine [334]An Abstraction in Logic Programming [198]Modularization and Abstraction in Logic Programming [199]Modularization and Abstraction in PROLOG/KR [439]Data Acceptability  ...  of Data and Programs [llO]A First Order Theory of Logic Programming [14]Contributions to the Theory of Logic Programming [lS]Contributions to the Theory of Types in PROLOG [4Ol]Towards a Theory vs.  ... 
doi:10.1016/0743-1066(84)90025-6 fatcat:ypq2jrr3mvd3hflnp6ftrcd5vm

Towards Acceptability of Optimizations

Wolfgang Goerigk
2002 Electronical Notes in Theoretical Computer Science  
in a compiler.  ...  The theory of relative program correctness and its preservation allows for elaborate and practically adequate definitions of correct implementation notions as they are established by transformations implemented  ...  Special thanks also to Markus Müller-Olm and Andreas Wolf for their work on relative program correctness and its preservation, and to the anonymous referees for comments which helped to improve on a draft  ... 
doi:10.1016/s1571-0661(04)80399-2 fatcat:vsdrxqjcyjeoxjyalxm2kyc4eu

Quantum programming languages: survey and bibliography

SIMON J. GAY
2006 Mathematical Structures in Computer Science  
design of compilers for quantum programming languages.  ...  Research in this area includes the design of programming languages for quantum computing, the application of established semantic and logical techniques to the foundations of quantum mechanics, and the  ...  Another early piece of work towards a quantum programming language, with a simulation system, is that of Baker (1996) .  ... 
doi:10.1017/s0960129506005378 fatcat:fsbhcecn6vcebiy3g4tuunjimy

Tom Swift and his procedural grandmother

J.A. Fodor
1978 Cognition  
Use and mention Perhaps the basic idea of PS is this: providing a compiler for a language is tantamount to specifying a semantic theory for that language.  ...  If, then, we think of a compiler for PLi as a semantic theory for PLi, we are thinking of semantic interpretation as consisting of translation into a semantically interpreted language.  ...  Nobody has the foggiest idea of how to connect this sys-"I'am distinguishing between (a) a 'theory of rcfcrence' (and, more generally, a classical semantic theory) \vhich consists of a function from the  ... 
doi:10.1016/0010-0277(78)90015-x fatcat:b2bj3kxuanapvpxtxvu3u3qsyq
« Previous Showing results 1 — 15 out of 30,483 results