Introduction to .NET, C#, and Visual Studio Part I Administrivia
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Liste Von Programmiersprachen
www.sf-ag.com Liste von Programmiersprachen A (1) A (21) AMOS BASIC (2) A# (22) AMPL (3) A+ (23) Angel Script (4) ABAP (24) ANSYS Parametric Design Language (5) Action (25) APL (6) Action Script (26) App Inventor (7) Action Oberon (27) Applied Type System (8) ACUCOBOL (28) Apple Script (9) Ada (29) Arden-Syntax (10) ADbasic (30) ARLA (11) Adenine (31) ASIC (12) Agilent VEE (32) Atlas Transformatikon Language (13) AIMMS (33) Autocoder (14) Aldor (34) Auto Hotkey (15) Alef (35) Autolt (16) Aleph (36) AutoLISP (17) ALGOL (ALGOL 60, ALGOL W, ALGOL 68) (37) Automatically Programmed Tools (APT) (18) Alice (38) Avenue (19) AML (39) awk (awk, gawk, mawk, nawk) (20) Amiga BASIC B (1) B (9) Bean Shell (2) B-0 (10) Befunge (3) BANCStar (11) Beta (Programmiersprache) (4) BASIC, siehe auch Liste der BASIC-Dialekte (12) BLISS (Programmiersprache) (5) Basic Calculator (13) Blitz Basic (6) Batch (14) Boo (7) Bash (15) Brainfuck, Branfuck2D (8) Basic Combined Programming Language (BCPL) Stichworte: Hochsprachenliste Letzte Änderung: 27.07.2016 / TS C:\Users\Goose\Downloads\Softwareentwicklung\Hochsprachenliste.doc Seite 1 von 7 www.sf-ag.com C (1) C (20) Cluster (2) C++ (21) Co-array Fortran (3) C-- (22) COBOL (4) C# (23) Cobra (5) C/AL (24) Coffee Script (6) Caml, siehe Objective CAML (25) COMAL (7) Ceylon (26) Cω (8) C for graphics (27) COMIT (9) Chef (28) Common Lisp (10) CHILL (29) Component Pascal (11) Chuck (Programmiersprache) (30) Comskee (12) CL (31) CONZEPT 16 (13) Clarion (32) CPL (14) Clean (33) CURL (15) Clipper (34) Curry (16) CLIPS (35) -
The Zonnon Project: a .NET Language and Compiler Experiment
The Zonnon Project: A .NET Language and Compiler Experiment Jürg Gutknecht Vladimir Romanov Eugene Zueff Swiss Fed Inst of Technology Moscow State University Swiss Fed Inst of Technology (ETH) Computer Science Department (ETH) Zürich, Switzerland Moscow, Russia Zürich, Switzerland [email protected] [email protected] [email protected] ABSTRACT Zonnon is a new programming language that combines the style and the virtues of the Pascal family with a number of novel programming concepts and constructs. It covers a wide range of programming models from algorithms and data structures to interoperating active objects in a distributed system. In contrast to popular object-oriented languages, Zonnon propagates a symmetric compositional inheritance model. In this paper, we first give a brief overview of the language and then focus on the implementation of the compiler and builder on top of .NET, with a particular emphasis on the use of the MS Common Compiler Infrastructure (CCI). The Zonnon compiler is an interesting showcase for the .NET interoperability platform because it implements a non-trivial but still “natural” mapping from the language’s intrinsic object model to the underlying CLR. Keywords Oberon, Zonnon, Compiler, Common Compiler Infrastructure (CCI), Integration. 1. INTRODUCTION: THE BRIEF CCI and b) to experiment with evolutionary language HISTORY OF THE PROJECT concepts. The notion of active object was taken from the Active Oberon language [Gut01]. In addition, two This is a technical paper presenting and describing new concurrency mechanisms have been added: an the current state of the Zonnon project. Zonnon is an accompanying communication mechanism based on evolution of the Pascal, Modula, Oberon language syntax-oriented protocols , borrowed from the Active line [Wir88]. -
Introduction to .NET, C#, and Visual Studio
Introduction to .NET, C#, and Visual Studio C# Programming January 8 Part I Administrivia Administrivia • When: Wednesdays 10–11am (and a few Mondays as needed) • Where: Moore 100B • This lab has Windows machines, but feel free to bring laptops • Office Hours: to be announced • Course webpage: http://www.seas.upenn.edu/~cse39905 Course Structure • No quizzes, no exams • Roughly 6 projects • Roughly 2 weeks per project • The final project will be slightly longer and more open-ended • Projects will be due at midnight on the night of the deadline • All assignments should be submitted through the Blackboard Digital Dropbox • Late policy: 15% off each day, up to 3 days late Final Project • Your chance to choose your own project • Brainstorming and planning will begin after spring break • Top projects will be entered into the Xtreme.NET Challenge – hopefully there will be 20 top projects :-) • First prize: Xbox 360! • Judges will include someone from Microsoft recruiting, maybe someone from the C# team • More details to come at http://www.seas.upenn.edu/~cse39905/xtreme Part II What is .NET? The Microsoft .NET Framework • .NET is a development platform that launched in 2000 • Goals include language independence, language integration, web services • Technologies to promote rapid development of secure, connected applications • .NET components include: • Languages (C#, VB, Visual C++, Visual J#, ...) • Common Language Runtime (CLR) • Framework Class Library (FCL) Common Language Runtime • A single runtime environment to execute programs written in any .NET language • Includes a virtual machine • Activates objects, manages memory, performs security checks, collects garbage • To run on the CLR, a language must adhere to a Common Language Specification (CLS) • A language must also build upon base types specified in the Common Type System (CTS) Languages • Language compilers translate source into Microsoft Intermediate Language (MSIL). -
Towards Mathix / Math-X, a Computer Algebra Language That Can Create Its Own Operating System, and That Is Amazingly User- Friendly and Secure
Towards Mathix / Math-x, a computer algebra language that can create its own operating system, and that is amazingly user- friendly and secure Thomas Colignatus, August 19 2009, some clarifications August 23 2009 http://www.dataweb.nl/~cool Summary Given the current supply and demand for computer languages and systems, there is a clear window of opportunity for the software community to collaborate and create Mathix and Math-x. The base would be Oberon, which itself derives from Algol / Pascal / Modula and which is better designed than Unix / Linux, and which now has the system Bluebottle / A2 at http://bluebottle.ethz.ch. Mathix is defined as Oberon/A2 extended with a suitable computer algebra language (say, CAL). Math-x is defined as Minix ported to Oberon/A2 (via Cyclone) and extended with that CAL. Mathix and Math-x thus can create their own OS. Mathix and Math-x are flexible in that they contain both a strongly typed dialect relevant for OS creation (current Oberon) and a more flexible dialect relevant for the human user (CAL, to be created). The dialects have much syntax in common but the CAL allows more flexibility. The CAL is internally translated into Oberon/A2 which allows compilation as well. 2 2009-08-23-Math-x.nb Note This paper is best understood in the context of my book Elegance with Substance on mathematics education - see http://www.dataweb.nl/~cool/Papers/Math/Index.html. My book advises that each national parliament investigates the stagnation in doing mathematics on the computer in school. This paper suggests how the software community might anticipate on common sense conclusions and start working on improvement. -
Infinite Loop Syntax Support for a Pascal-Family Language
Infinite loop syntax support for a Pascal-family language http://coderesearchlabs.com/articles/ILP.pdf Code Research Laboratories www.coderesearchlabs.com Javier Santo Domingo [email protected] Buenos Aires, Argentina started - April 9th, 2010 published - July 9th, 2010 last revision - May 4th, 2011 copyright is held by the author all trademarks and logos are the property of their respective owners 1. Introduction Infinite loops are a basic logic flow need that is supported by conventional processors and virtual machines (see table A), but there is always a valid solution to avoid them in High Level Languages. In any case, the discussion if it is or not a good practice will never end. There is no code (operative system, service daemon, command line, real-time system, message loop, etc) that can not avoid an infinite loop, that's a fact: you can always write loops with an exit condition. Besides that, and nowadays that code readability is very important (and that goto has been totally removed from good practices), there are many developers that prefer to implement an infinite loop and break it's execution in the middle [1], or that coding a program "designed to never stop" come to solutions with an infinite loop. x86's assembly ARM's assembly .NET's ilasm Java's bytecode Llvm's assembly label: label label: label: Loop: ; something ; something // something ; something ; something jmp label B label br label goto label br label %Loop Infinite Loops (unconditional jumps/branches) in Some Low/Mid Level Of Abstraction Languages table A 2. Different Kind of Loops Usually, how you order the logic for the solution you are writing determines where you will be testing the exit condition for a loop: at the top or at the bottom [2]. -
Доповідь Використання Платформи Microsoft .NET Та Мови C# Для
Ⱦɨɩɨɜɿɞɶ ȼɢɤɨɪɢɫɬɚɧɧɹɩɥɚɬɮɨɪɦɢ Microsoft .NET ɬɚɦɨɜɢ C# ɞɥɹ ɧɚɜɱɚɧɧɹɩɪɨɝɪɚɦɭɜɚɧɧɹɜɫɟɪɟɞɧɿɯɡɚɝɚɥɶɧɨɨɫɜɿɬɧɿɯ ɧɚɜɱɚɥɶɧɢɯɡɚɤɥɚɞɚɯ ɒɟɜɱɭɤɉɟɬɪɨȽɟɨɪɝɿɣɨɜɢɱ, ɚɫɩɿɪɚɧɬȱɧɫɬɢɬɭɬɭɿɧɮɨɪɦɚɰɿɣɧɢɯɬɟɯɧɨɥɨɝɿɣɬɚ ɡɚɫɨɛɿɜɧɚɜɱɚɧɧɹȺɤɚɞɟɦɿʀɩɟɞɚɝɨɝɿɱɧɢɯɧɚɭɤɍɤɪɚʀɧɢ Ƚɚɥɭɡɶ ɪɨɡɪɨɛɤɢ ɩɪɨɝɪɚɦɧɨɝɨ ɡɚɛɟɡɩɟɱɟɧɧɹ ɽ ɜɢɡɧɚɱɚɥɶɧɨɸ ɞɥɹ ɪɨɡɜɢɬɤɭ ɿɧɮɨɪɦɚɰɿɣɧɨɝɨ ɫɭɫɩɿɥɶɫɬɜɚ. ɉɪɨɝɪɚɦɭɜɚɧɧɹ ɰɟ ɧɟ ɥɢɲɟɜɢɪɨɛɧɢɰɬɜɨɬɚɧɚɭɤɚɚɣ, ɜɹɤɿɣɫɶɦɿɪɿ, ɫɤɥɚɞɨɜɚɤɭɥɶɬɭɪɢ, ɨɫɜɿɬɢ ɿ ɧɚɜɿɬɶ ɪɿɡɧɨɜɢɞ ɦɢɫɬɟɰɬɜɚ. ȼɚɠɥɢɜɚ ɪɨɥɶ ɜ ɩɿɞɝɨɬɨɜɰɿ ɦɚɣɛɭɬɧɿɯ ɩɪɨɝɪɚɦɿɫɬɿɜ ɧɚɥɟɠɢɬɶ ɫɟɪɟɞɧɿɦ ɡɚɝɚɥɶɧɨɨɫɜɿɬɧɿɦ ɡɚɤɥɚɞɚɦ. ȼɫɭɩɟɪɟɱ ɬɨɦɭ, ɳɨ ɩɪɨɝɪɚɦɭɜɚɧɧɹ ɰɟ ɨɞɢɧ ɡ ɧɚɣɛɿɥɶɲ ɡɚɬɪɟɛɭɜɚɧɢɯ ɜɢɞɿɜ ɥɸɞɫɶɤɨʀ ɞɿɹɥɶɧɨɫɬɿ ɬɚ ɨɞɧɚ ɡ ɧɚɣɰɿɤɚɜɿɲɢɯ ɮɨɪɦ ɬɜɨɪɱɨɫɬɿ ɜ ɨɫɬɚɧɧɿ ɪɨɤɢ ɧɟ ɫɩɨɫɬɟɪɿɝɚɽɬɶɫɹ ɩɿɞɜɢɳɟɧɧɹ ɡɚɰɿɤɚɜɥɟɧɨɫɬɿɞɿɬɟɣɩɪɨɝɪɚɦɭɜɚɧɧɹɦ. ȼɿɪɨɝɿɞɧɨ, ɳɨɨɪɝɚɧɿɡɚɰɿɹɬɚ ɦɟɬɨɞɢɱɧɟ ɡɚɛɟɡɩɟɱɟɧɧɹ ɜɢɜɱɟɧɧɹ ɩɪɨɝɪɚɦɭɜɚɧɧɹ ɫɭɬɬɽɜɨ ɜɿɞɫɬɚɽ ɜɿɞɜɢɦɨɝɱɚɫɭ. Ɋɨɡɜɢɬɨɤ ɨɛɱɢɫɥɸɜɚɥɶɧɨʀ ɬɟɯɧɿɤɢ ɰɟ ɬɚɤɨɠ ɪɨɡɜɢɬɨɤ ɩɪɨɝɪɚɦɧɨɝɨɡɚɛɟɡɩɟɱɟɧɧɹɚɨɬɠɟɿɩɪɨɝɪɚɦɭɜɚɧɧɹ. ɉɨɪɹɞɡ ɫɬɚɧɨɜɥɟɧɧɹɦ ɦɟɬɨɞɿɜ ɩɪɨɝɪɚɦɭɜɚɧɧɹ: ɚɥɝɨɪɢɬɦɿɱɧɟ, ɫɬɪɭɤɬɭɪɧɟ, ɨɛ¶ɽɤɬɧɨɨɪɿɽɧɬɨɜɚɧɟ ɪɨɡɜɢɜɚɸɬɶɫɹ ɿ ɬɟɯɧɨɥɨɝɿʀ ɬɪɚɧɫɥɹɰɿʀ ɤɨɦɩ¶ɸɬɟɪɧɢɯɩɪɨɝɪɚɦ. ɉɟɪɲɿɨɛɱɢɫɥɸɜɚɥɶɧɿɦɚɲɢɧɢɤɟɪɭɜɚɥɢɫɹ ɩɪɨɝɪɚɦɚɦɢ ɪɨɡɪɨɛɥɟɧɢɦɢ ɬɚ ɜɜɟɞɟɧɢɦɢ ɥɸɞɢɧɨɸ ɜ ɦɚɲɢɧɧɢɯ ɤɨɞɚɯ. ɇɚɛɿɪɬɚɤɢɯɤɨɞɿɜɬɚɦɨɜɚɛɟɡɩɨɫɟɪɟɞɧɶɨʀɪɨɛɨɬɢɡɧɢɦɢ - ɚɫɟɦɛɥɟɪ, ɫɩɟɰɢɮɿɱɧɿ ɞɥɹ ɤɨɠɧɨʀ ɧɨɜɨʀ ɚɩɚɪɚɬɧɨʀ ɦɨɞɟɥɿ ɤɨɦɩ¶ɸɬɟɪɿɜ. Ɍɨɛɬɨɩɪɨɝɪɚɦ, ɧɚɜɿɬɶɞɥɹɜɢɪɿɲɟɧɧɹɨɞɧɿɽʀɿɬɿɽʀɠ ɡɚɞɚɱɿ ɞɨɜɨɞɢɥɨɫɶ ɩɢɫɚɬɢ ɫɬɿɥɶɤɢ, ɫɤɿɥɶɤɢ ɛɭɥɨ ɪɿɡɧɢɯ ɦɨɞɟɥɟɣ ɤɨɦɩ¶ɸɬɟɪɿɜ. ɉɨɹɜɚ ɦɨɜ ɩɪɨɝɪɚɦɭɜɚɧɧɹ ɬɚ ʀɯ ɤɨɦɩɿɥɹɬɨɪɿɜ ɞɨɡɜɨɥɢɥɚ, ɲɥɹɯɨɦ ɭɞɨɫɤɨɧɚɥɟɧɧɹ ɤɨɦɩɿɥɹɬɨɪɚ, ɚɞɚɩɬɭɜɚɬɢ ɜɢɤɨɪɢɫɬɚɧɧɹ ɪɨɡɪɨɛɥɟɧɢɯ ɩɪɨɝɪɚɦ -
Project Zonnon: the Language, the Compiler, the Environment
Project Zonnon: The Language, The Compiler, The Environment Eugene Zouev Bergen Language Design Laboratory Bergen University May 19, 2010 Outline Project History Zonnon Language Zonnon Compiler CCI & Zonnon Compilation Model Integration into Visual Studio Zonnon Builder Link, Conclusion, Acknowledgements 2 Project History 1999, Oberon.NET Projects 7 & 7+ launched by Microsoft Research 2001, Active Oberon ETH Zürich; the notion of active object 2004, Active C# ETH Zürich; communication mechanism based on syntax-oriented protocols 2004-2006, Zonnon 3 Zonnon Highlights A member of the family of Pascal,Modula-2, Oberon: compact, easy to learn and use Supports modularity (with importing units and exporting unit members) Supports object-oriented approach based on definition/implementation paradigm and refinement of definitions Supports concurrency based on the notion of active objects and syntax-based communication protocols 4 Zonnon Program Architecture 1 Module Definition Object Implementation 5 Zonnon Program Architecture 1 Module Definition System managed object: - encapsulates resources Unified unit of abstraction: - implements definitions - represents abstract interface - aggregates implementations - refines another definition Object Implementation Program managed actor/resource: - def.implementation of a definition - implements definitions - standalone aggregation unit - aggregates implementations - specifies concurrent behaviour 5 Zonnon Program Architecture 2 Definition D1 Definition D11 (refines D1) Implementation D11 (default for -
Oberon: the Power of Purity
Oberon: The Power of Purity Jürg Gutknecht ETH Zürich March 2004 •Purity A quantitative assessment of homogeneity or uniformity (The American Heritage Dictionary) Being undiluted or unmixed with extraneous material (Hyperdictionary) • Impurity Lack of consistency or homogeneity Worthless material that should be removed 1 Eighteen Years After • How it All Started Sabbatical at Xerox PARC 10 MHz/2 MB/40 MB Hardware • Lasting Impressions Instantaneous Responses Superfast Compilation No System Crashes Effective Textual User Interface Gadgets Component Showcase This Presentation ... • Focuses on a tool for the support of software design and implementation, in contrast to a product or result • Shows how the philosophy and design principles underlying this tool guarantee effectivity, versatility and power • Aims at encouraging non-computer- scientists to use the tool for problem solving • Neither intends to evangelize nor to claim cure-all properties of the presented tool 2 A Quotation „The tools we use have a profound (and devious!) influence on our thinking habits, and, therefore, on our thinking abilities“ Edsger W. Dijkstra ... or like this? like this ... 3 The Tool … • Is a programming language called Oberon, a carefully crafted consolidation of Pascal and Modula-2 after a long period of working experience • Uses a simple, clear and expressive syntax • Provides a set of effective, transparent and resource-efficient constructs • Propagates a uniform, non-restrictive and consistent computing model ETH Language Tradition Year Language Influential Constructs 1960 Algol Procedures 1970 Pascal Data Structures Small Scale 1980 Modula(-2) Modules Large Scale 1990 Oberon Type Extension 2000 Active Oberon Active Objects 2004 Zonnon Composition & Dialogs 4 The Oberon Syntax module = MODULE ident ";" [ImportList] DeclarationSequence [BEGIN StatementSequence] END ident ".". -
The .NET Framework: What Is It and How to Use It?
The .NET Framework: What is it and How to Use it? Drs.ir. Vadim V. Zaytsev 19 October 2004 History en Future of Cobol • The lecture in week 45 will be cancelled! • Replacement lecture will take place as a part of a bigger event: • A symposium in honour of Wim Ebbinkhuijsen: 22 October 2004 (Friday), 13:00, Auditorium. Please read information at http://www.automatiseringgids.nl/events/default.asp? page=hfcobol and then register via [email protected] (or contact Ralf). 1 Technical issues • Up-to-date information about the course: requirements, suggestions, slides, papers, rescheduling issues, . — http://www.cs.vu.nl/~ralf/oo/lecture-2004/ • These slides incorporate some of the work by Ralf L¨ammel, Manuel Costa, Kai Rannenberg, Erik Meijer, Damien Watkins, Hanspeter M¨ossenb¨ock & probably some others. 2 What is .NET? • Microsoft .NET is a set of Microsoft software technologies for connecting information, people, systems, and devices. It enables a high level of software integration through the use of Web services—small, discrete, building-block applications that connect to each other as well as to other, larger applications over the Internet. ( c M$ website) • A development platform: interfaces, components and tools to develop software. The biggest change in the Microsoft platform since Windows NT replaced DOS. ( c Manuel Costa) 3 The components of Microsoft .NET- connected software 4 .NET framework principles • Make Internet-scale distributed computing ubiquitous • Seamless integration of multiple applications and devices • Deliver software -
Active Oberon for .NET
Active Oberon for .NET .NET Crash Course MSR Cambridge UK, March 2002 Jürg Gutknecht, ETH Zürich 1 Chronological Overview ETHZ Language/ Compiler Development 1970 Pascal Data Structures 1980 Modula(-2) Modules 1990 Oberon Type Extension 1999 Devlab Redmond Oberon0 for .NET 2000 MSDN Orlando Oberon for .NET 1990 Active Oberon New Object Model Project 7/7+ 2001 PLI/Babel Florence Active Oberon for .NET 2001 MSDN Los Angeles Active Oberon for .NET Academic Languages for .NET for Academic Languages 2 Project 7/7+ With MS Research Project Tasks Implement Academic Language for .NET Runtime Integrate Academic Language into Visual Studio Demonstrate Language Interoperability on .NET Provide Feedback to .NET Architects Project Opportunities Increase Popularity of Academic Language Get New Teaching Vehicle and Topic Get Advanced Platform For Compiler Experiments For Language Research 3 .NET Environment „Managed” Code and Data at Runtime Common Language Runtime CLR Virtual Object Model CTS Reflection and Reflection Emit Tools Intermediate Language and Assembler MSIL Compiler Integration Tool CCI Rich GUI API WinForms Topic of Companion Rich Web API WebForms Lecture Development Environment VS 4 Oberon for .NET Language Mapping Oberon to CTS POINTER, RECORD Pair Class Static Fields & RECORD Type Value Class Methods Only Type-Extension Class Extension Module Sealed „Static” Class Import Loading Code in Constructor Exported Item Public Item Procedure Method Procedure Variable Function Pointer 5 Mapping Oberon Modules (1) MODULE M; IMPORT N; TYPE X* = POINTER TO RECORD M Exported VAR t*: T; u: U; … N.F END X; Y = RECORD … END Y; IMPORT VAR a: A; b*: B; Call PROCEDURE P* (t: T): X; BEGIN … F* END P; N PROCEDURE Q (i: INTEGER); BEGIN … N… END Q; Delegation BEGIN (* module initialization *) … END M. -
The Extent of Empirical Evidence That Could Inform Evidence-Based Design of Programming Languages
JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study UNIVERSITY OF JYVÄSKYLÄ JYVÄSKYLÄ 2014 The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study JYVÄSKYLÄ LICENTIATE THESES IN COMPUTING 18 Antti-Juhani Kaijanaho The Extent of Empirical Evidence that Could Inform Evidence-Based Design of Programming Languages A Systematic Mapping Study UNIVERSITY OF JYVÄSKYLÄ JYVÄSKYLÄ 2014 Editor Timo Männikkö Department of Mathematical Information Technology, University of Jyväskylä URN:ISBN:978-951-39-5791-9 ISBN 978-951-39-5791-9 (PDF) ISBN 978-951-39-5790-2 (nid.) ISSN 1795-9713 Copyright © 2014, by University of Jyväskylä Jyväskylä University Printing House, Jyväskylä 2014 GLENDOWER. I can call spirits from the vasty deep. HOTSPUR. Why, so can I, or so can any man; But will they come when you do call for them? — William Shakespeare’s Henry IV Part 1 (III.1) ABSTRACT Kaijanaho, Antti-Juhani The extent of empirical evidence that could inform evidence-based design of pro- gramming languages. A systematic mapping study. Jyväskylä: University of Jyväskylä, 2014, 243 p. (Jyväskylä Licentiate Theses in Computing, ISSN 1795-9713; 18) ISBN 978-951-39-5790-2 (nid.) ISBN 978-951-39-5791-9 (PDF) Finnish summary Background: Programming language design is not usually informed by empirical studies. -
The Zonnon Project: a Language and Compiler Experiment
The Zonnon Project: A Language and Compiler Experiment Евгений Зуев, ETH Zürich Нижегородский гоcударственный университет 27 сентября 2005 План История проекта, предшественники Язык Zonnon Компилятор Zonnon CCI & Модель компиляции Zonnon Интеграция в Visual Studio Zonnon Builder Инфо, Выводы, Участники 2 История проекта 1999, Oberon.NET Projects 7 & 7+, инициированные Microsoft Research 2001, Active Oberon ETH Zürich; понятие active object 2004, Active C# ETH Zürich; механизм взаимодействия процессов, основанный на понятии синтаксически-ориентированных протоколов 3 Особенности языка Zonnon Младший член семейства Pascal,Modula-2, Oberon: компактный, легкий для изучения и использования Поддерживает модульность (импорт прогр. единиц и экспорт членов прогр.единиц) Поддерживает ООП на основе концепции интерфейс/реализация и механизма уточнения (refinement) интерфейсов Поддерживает параллельность на основе понятия активных объектов и синтакси- ческих протоколов 4 Архитектура Zonnon-программ 1 Module Definition System managed object: - encapsulates resources Unified unit of abstraction: - implements definitions - represents abstract interface - aggregates implementations - refines another definition Object Implementation Program managed actor/resource: - def.implementation of a definition - implements definitions - standalone aggregation unit - aggregates implementations - specifies concurrent behaviour 5 Архитектура Zonnon-программ 2 Definition D1 Definition D2 Definition D3 Definition D11 (refines D1) Implementation D3 (default for Def D3) Implementation D11 (default for Def D11) Object B (implements D2, reuses default implem for D3, and aggregates I) Object A (implements D1 & D11 without reusing def implem) Implementation I (standalone resource) 6 Definitions (* Common interface for all kind of vehicles *) definition Vehicle; var { get } Speed : integer; (* read-only *) procedure SpeedUp ( d:integer ); procedure SlowDown ( d:integer ); end Vehicle. definition Truck refines Vehicle; (* Inherits interface from Vehicle *) const SpeedLimit = 90; end Truck.