Filters








289,140 Hits in 3.0 sec

On Interpreter-Oriented Definitions of Programming Languages

F. G. Pagan
1976 Computer journal  
An interpreter-oriented language definition expressed in an actual programming language, i.e. a definition in terms of an actual processor, can be at least as good and perhaps better than one expressed  ...  The Vienna Definition Language or VDL (Lee, 1972; Lucas Lauer, and Stigleitner, 1968; Wegner, 1972 ) is probably the best-known formal interpreter-oriented scheme and is the only one considered in any  ...  An interpreter-oriented language definition expressed in an actual programming language, i.e. a definition in terms of an actual processor, can be at least as good and perhaps better than one expressed  ... 
doi:10.1093/comjnl/19.2.151 fatcat:kngrnaiberbhhnugeaezxutxla

Semantics of Programming Languages: A Tool-Oriented Approach [article]

Jan Heering, Paul Klint
1999 arXiv   pre-print
Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.  ...  By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact.  ...  Acknowledgements We would like to thank Jan Bergstra, Mark van den Brand, Arie van Deursen, Ralf Lämmel, and Jan Rutten for useful comments on earlier versions.  ... 
arXiv:cs/9911001v2 fatcat:sogjf7dmt5gndkdj3cgmbf335u

A rewriting approach to the design and evolution of object-oriented languages

Mark Hills, Grigore Rosu
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems  ...  These language definitions are formal and executable, providing language interpreters almost for free while also providing a framework for building analysis tools, such as type checkers, model checkers  ...  This has led to a flurry of research activity in the design and formal definition of object-oriented languages and in methods for analyzing programs.  ... 
doi:10.1145/1297846.1297908 dblp:conf/oopsla/HillsR07 fatcat:7d5xtp7dfbg4hhyjn742sgldie

Semantics of programming languages

1994 Discrete Applied Mathematics  
Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.  ...  By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact.  ...  Acknowledgements We would like to thank Jan Bergstra, Mark van den Brand, Arie van Deursen, Ralf Lämmel, and Jan Rutten for useful comments on earlier versions.  ... 
doi:10.1016/0166-218x(94)90155-4 fatcat:w7woc7xprjbzrdinczjjvqtmie

Semantics of programming languages

Jan Heering, Paul Klint
2000 SIGPLAN notices  
Ultimately, this may lead to "Language Design Assistants" incorporating substantial amounts of semantic knowledge.  ...  By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact.  ...  Acknowledgements We would like to thank Jan Bergstra, Mark van den Brand, Arie van Deursen, Ralf Lämmel, and Jan Rutten for useful comments on earlier versions.  ... 
doi:10.1145/351159.351173 fatcat:rzbk5gdlcngs5joiclxagu4ehu

Toward a formal theory of extensible software

Shriram Krishnamurthi, Matthias Felleisen
1998 Software engineering notes  
We consider programs in both object-oriented and functional languages to prove the robustness of our defmitions.  ...  In this paper, we propose a rigorous, semantics-based definition of software extensibility. Then we illustrate the utility of our definitions by applying them to several programs.  ...  The anonymous referees provided helpful comments on the presentation.  ... 
doi:10.1145/291252.288269 fatcat:7a2rww53w5fntg7v2u3itaqk6m

Interpreter and Applied Development Environment for Learning Concepts of Object Oriented Programming

Ever Mitta, Layla Hirsh
2013 International Journal of Programming Languages and Applications  
Nowadays we decide which language to learn as a result of a necessity, more than analyse which one is easier to understand or which should be the correct learning process.  ...  This paper will present a tool in Spanish that could be used as an instrument to understand these concepts of object oriented and its management before starting the programming.  ...  The decisions of what productions were needed were defined based on Java, and C#, also using the help of professors that lectures courses of programming languages object oriented and structured.  ... 
doi:10.5121/ijpla.2013.3302 fatcat:6dt3wuvdy5hv7oc3kl7iy2adb4

DSL evolution through composition

Walter Cazzola, Davide Poletti
2010 Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution - RAM-SE '10  
The framework presented in this article not only allows to develop the syntax and the semantic of a new language from scratch but it is particularly focused on the reusability of the language definition  ...  In this work, we explore the Neverlang framework and try out the adaptability of its language definition.  ...  By using a language oriented development strategy the DSL interpreter/compiler becomes the main element of the software, then the slices and modules that compose the language definition are a representation  ... 
doi:10.1145/1890683.1890689 dblp:conf/ecoop/CazzolaP10 fatcat:pe36xkea7vgx5cvh7oqeog6luu

Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation

Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa
1995 Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95  
Benchmarks of a prototype compiler for our language ABCL/R3 indicate that (1) the meta-level interpretation is essentially 'compiled away,' and (2) meta-level optimizations in a parallel application, running  ...  on a Fujitsu MPP APlOOO, exhibits only lo-30% overhead compared to the hand-crafted source-level optimization in a non-reflective language.  ...  Acknowledgments We would like to thank Kenjiro Taura for the his assistance in using ABCL/f system, and many suggestions on our work.  ... 
doi:10.1145/217838.217869 dblp:conf/oopsla/MasuharaMAY95 fatcat:6zdaxagrbnhz3bmlh7ueicpirq

A bootstrapping infrastructure to build and extend Pharo-like languages

Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse
2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) - Onward! 2015  
Bootstrapping a reflective object-oriented language is however more challenging, as we need also to initialize the runtime of the language with its initial objects and classes besides writing its compiler  ...  Bootstrapping is a beneficial engineering practice because it raises the level of abstraction of a program making it easier to understand, optimize, evolve, etc.  ...  A language runtime definition R L for a language L is the definition of the initial runtime structures of L, so a program can run on it e.g., the initial objects and classes.  ... 
doi:10.1145/2814228.2814236 dblp:conf/oopsla/PolitoDBF15 fatcat:7bqzahwzyvetlbbqtwgepwo47u

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages [chapter]

Dominic Duggan
2000 Lecture Notes in Computer Science  
We give paradigmatic examples of the definition of extensible computations in the Java programming language, and consider what extensions would be required for typed object-oriented languages in order  ...  The modular structuring and reuse of DSL implementations has potentially important lessons for object-oriented reuse, because of the highly recursive nature of any non-trivial programming language, and  ...  The approach is based on developing modular interpreters for programming language fragments, as an object-oriented application framework, and then allowing these modular interpreters to be combined to  ... 
doi:10.1007/3-540-45102-1_9 fatcat:2xqiuj34zfe4lpdgol2amhgdia

Oriented equational clauses as a programming language

Laurent Fribourg
1984 The Journal of Logic Programming  
In the #Prolog language, Horn clauses of first-order logic are regarded as programs, and the resolution procedure is used as an interpreter.  ...  We show that such a formalism can be interpreted as a logic language with built-in equality, and that a procedure based on clausal superposition can be used as an interpreter.  ...  statements of our programming language.  ... 
doi:10.1016/0743-1066(84)90003-7 fatcat:jsggx7foqnfjrb4vps46e37mhq

Evolving Recursive Definitions with Applications to Dynamic Programming [article]

Keehang Kwon
2022 arXiv   pre-print
In addition, based on this idea, we propose a new, high-level object-oriented language.  ...  BQ definitions corresponds to the traditional ones where recursive definitions are not evolving. PUQ definitions are evolving in the course of computation, leading to automatic memoization.  ...  On the other hand, the blind interpretation is the one that is used in traditional recursive definition.  ... 
arXiv:2207.12137v1 fatcat:5kohbxh4dbdrxcel4akgltyscu

Designing language-oriented programming languages

Boaz Rosenan
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
Today, language-oriented programming (LOP) is realized by using either language workbenches or internal DSLs, each with their own advantages and disadvantages.  ...  In this work, we design a host language for DSLs with language workbench features, thereby combining the two approaches and enjoying the best of both worlds.  ...  We call such a host language a language-oriented programming language (LOPL), as it is well suited to support LOP, just like object-oriented programming languages (OOPL) are suited to support OOP.  ... 
doi:10.1145/1869542.1869576 dblp:conf/oopsla/Rosenan10 fatcat:dqtbexnvnnez5k4j4fysi3tqwm

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 4 th generation languages (4GLs), languages defined directly by the composition of domain features, serve as the language-based formalism for the emerging Domain Driven Development paradigm.  ...  Batory has proposed feature oriented programming by static stepwise refinement on the base programs defined by refinement algebra [1] , whereas, we are focusing on the dynamic feature composition defined  ... 
doi:10.1145/949445.949449 fatcat:6x44kpl5hnb7hpqxwhhthl7fru
« Previous Showing results 1 — 15 out of 289,140 results