Concept
Langage de programmation de cinquième génération
Publications associées (4)
A Practical Unification of Multi-stage Programming and Macros
Martin Odersky, Nicolas Alexander Stucki
Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...
2018Scala Macros, a Technical Report
Martin Odersky, Eugene Burmako
Metaprogramming is a powerful technique of software development, which allows to automate program generation. Applications of metaprogramming range from improving expressiveness of a programming language via deep embedding of domain-specific languages to b ...
2012Specifying System Behavior in UML
The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by pre- and post-conditi ...
2000Programming with Variable Functions
What is a good method to specify and derive imperative programs? This paper argues that a new form of functional programming fits the bill, where variable functions can be updated at specified points in their domain. Traditional algebraic specification and ...
1998