The Ptolemy Programming Language: Balancing Separation of Concerns and Modular Reasoning. Purpose A software is created to satisfy user needs AKA concerns. These concerns may change often and unanticipatedly. On a concern change, the parts of the software, AKA modules, responsible for that concern must also be revised. A module revision incurs costs and may introduce new errors.
It is thus desirable to minimize module revisions. Design Goals Enable modularization of crosscutting concerns, while preserving encapsulation of existing object-oriented (OO) code. All these goals are important for scalability of software development processes but harder to achieve in current programming languages. PetaBricks: Programming Language and Compiler. PetaBricks is a new implicitly parallel language and compiler where having multiple implementations of multiple algorithms to solve a problem is the natural way of programming. We make algorithmic choice a fundamental construct of the language. Choices are provided in a way that also allows our compiler to tune at a finer granularity. The PetaBricks compiler autotunes programs by making both fine-grained as well as algorithmic choices. Choices also include different automatic parallelization techniques, data distributions, algorithmic parameters, transformations, and blocking. In addition, we introduce novel techniques to autotune algorithms for different convergence criteria.
When choosing between various direct and iterative methods, the PetaBricks compiler is able to tune a program in such a way that delivers near-optimal efficiency for any desired level of accuracy. If you have questions you can contact Jason Ansel. PetaBricks is open source and is available under the MIT license. Release v0.9.3 · purescript/purescript. Polymer. Software Monitoring in Theory and Practice Lujo Bauer Jay Ligatti David Walker A run-time program monitor is a process that executes in parallel with an unknown and untrusted application program and examines actions (e.g., method calls or state updates) from the application's instruction stream. If the sequence of program actions deviates from a specified security policy, the monitor transforms the sequence or terminates the program.
Monitors may thus be used to implement any number of common tasks including auditing and logging of program actions, access control, resource monitoring, denial of service prevention, visualization of program execution, online program transformation, and others. The Polymer project studies all facets of the theory, design, and implementation of software program monitors and monitor-specification languages. Publications Apr 10 2010: Download polymer-v.0.8.2.tgz (minor bug fixed in a script) Oct 18 2008: Instructions for compiling Polymer with JDK 6. PADS: A System For Processing Ad Hoc Data. Polyglot extensible compiler framework. Polyglot is a highly extensible compiler front end for the Java programming language. It is implemented as a Java class framework using design patterns to promote extensibility.
Using Polyglot, language extensions can be implemented without duplicating code from the framework itself. Polyglot has been used to implement domain-specific languages, to explore language design ideas, to simplify Java for pedagogical purposes, and for various code transformations such as optimization and fault injection. Polyglot has been used for both major and minor language extensions; our experience suggests that the cost of implementing an extension scales well with the degree to which it modifies Java. Polyglot compiles and runs on (at least) Linux, Solaris, Windows, and Mac OS X. Polyglot supports Java 1.4, Java 5, and Java 7, including features such as generics and annotations. PH7 Engine. Linguagem Potigol by potigol. Igor.moochnick - Pash. Programming language - english> Pharo - Welcome to Pharo! PICL: A Programming Language for the Microcontroller PIC. Crcx/parable. FrontPage - parasail. Py: A Hybrid Programming Language. The Py Programming Language Py is a modest structured programming language I'm writing.
Downloading Py You have five download options: P: A language for asynchronous event-driven programming - Home. PiffleWiki - piffle - General information about the project - Piffle, a Packet Filter Language. What is Piffle? "Piffle" is a pronounceable form of PFL, that is, Packet Filter Language. ("Piffle" is also an obscure word for "chatter".) Piffle is a programming language for writing network packet filters.
The Piffle compiler is implemented in Haskell. To learn more To learn more, please read the manual, which contains a general story about bounded packet filters, the language definition, the man page for the compiler, and an example of a packet filter written in Piffle. The author Piffle was designed and implemented by Jaap Weel as part of the Compiler Construction Practical course at the VU Amsterdam CS department. Contribute I would very much appreciate if people could try to compile and run Piffle (in particular make test) on their own machines, and report any problems on the issues page or by e-mail. Possible extensions. The Potion language. .ooo 'OOOo ~ p ooOOOo tion ~ .OOO oO %% a little Oo fast language. 'O ` (o) ___/ / /` \ /v^ ` , (...v/v^/ \../::/ \/::/ ~ Potion! ~ Potion is an object- and mixin-oriented (traits) language.
Its exciting points are: Just-in-time compilation to x86 and x86-64 machine code function pointers. However, some warnings: Strings are immutable (like Lua) and byte arrays are used for I/O buffers.Limited platform support for coroutines. . ~ a whiff of potion ~ 5 times: "Odelay! " Or, add = (x, y): x + y. add(2, 4) string print hello = "(x): ('hello ', x) print. " eval hello ('world') ~ how it transpired ~ This isn't supposed to happen! I started playing with Lua's internals and reading stuff by Ian Piumarta and Nicolas Cannasse.
Turns out making a language is a lovely old time, you should try it. To be fair, I'd been tinkering with the parser for years, though. ~ the potion pledge ~ EVERYTHING IS AN OBJECT. (And, incidentally, everything is a function.) ~ items to understand ~ To sum up: It is two languages in one. Physical Etoys « GIRA. Introducción En las últimas décadas, las teorías construccionistas y el progreso tecnológico permitieron que la robótica educativa comience a surgir en algunas escuelas como complemento a diversas materias de la currícula.
Sin embargo, cada kit de robótica tiene su manera particular de programarse y no permite la comunicación con otros kits. Es por esta razón que se decidió crear Physical Etoys, una extensión argentina de Etoys que facilita la interacción con estos dispositivos. “La computadora es un instrumento cuya música son las ideas” Alan Kay Descripción general del proyecto Physical Etoys es un ambiente de programación visual de robots gratuito, de código abierto y multiplataforma que conecta el mundo virtual de las computadoras con el mundo real en que vivimos. Resultados deseados Facilitar la programación de material concreto así como también su enseñanza.Integrar los kits más populares de robótica educativa en un solo ambiente extensible.Fomentar el pensamiento computacional. Videos. Picky. Picky is a programming language intended for a first course on computer programming.
Piccol is made to fill a very different niche. Existing languages are designed to make adding new features easy. Piccol is a very strict, bondage-and-discipline, "hairshirt" language which has extensive compile-time checking and a limited feature set. Language features of Piccol Implementation details of Piccol It strongly adheres to a "layered-cake" compiler architecture; you can use (or change) any aspect of the language in isolation without hard dependencies on the other parts. Wait, what? Pyret. Processing.org. Wiki: home. A Radical Approach to Software Development If some programming languages claim to be the "Swiss Army Knife of Programming", then PicoLisp may well be called the "Scalpel of Programming": Sharp, accurate, small and lightweight, but also dangerous in the hand of the inexperienced.
Less is more! - The maxim is: Keep it simple, and the programmer in control! Short answer: Because PicoLisp has two characteristic features, which are not found to that extent in other languages: An integrated database Equivalence of code and data These two features, and how they are used in combination, make it worth to take a closer look at PicoLisp. Besides this, PicoLisp is a very simple and succinct, yet expressive language. Integrated Database Database functionality is built into the core of the language. Database entities are first class objects. It is possible with PicoLisp to build large multi-user databases, distributed across many machines or in a cloud. Equivalence of Code and Data Expressiveness.
Perl11/potion. Intoverflow/Potential. Programming language - english> PRISM: PRogramming In Statistical Modeling. Contents Introduction — What is PRISM? (For theoretical details of PRISM and our recent research, see prism-intro.pdf [411KB], which is a compilation of past slides.) PRISM is a general programming language intended for symbolic-statistical modeling. It is a new and unprecedented programming language with learning ability for statistical parameters embedded in programs. Speaking mathematically, a PRISM program is a logic program in which facts have a parameterized probability distribution so that the program can be seen as a parameterized statistical model. At this point, we have to say, for fairness, that understanding PRISM programming might require some learning efforts on the user side and you have to take care not to violate certain statistical conditions when writing codes. Merits of PRISM programming We here list the (expected) merits of PRISM programming; We can enjoy the expressive power of first-order rules.
Current research topics Relaxing modeling assumptions Highlights of 2.1: Practical Programming Language: reliable code and software developer productivity. What is PPL? PPL is a programming language specifically designed from the ground up to help writing more reliable code in less time. Why should I possibly be interested in PPL? PPL provides a unique combination of effective Fail-fast! Features built into the language and libraries. These more-reliability-features aim to catch more bugs automatically and early in the development process. There are also some more-productivity-features. Main features at a glance: (You can hover over most items to get more information.)
"Hello world" example After installing PPL: Create file hello.ppl in any directory and with the following content: repeat 3 times system.out.write_line ( "Hello world" ) end Open a system console in the directory of file hello.ppl and type: ppl hello.ppl Your system displays: Hello world Hello world Hello world Web data entry example Common coding tasks - such as creating a web application to enter data and save them in a database - should be as easy as possible. PWCT. Panther - based on Scratch - Home.
CodeTyphon Download. Binprolog - Prolog compiler. Jinniprolog - Java-based Prolog compiler and runtime system. πVC: The Pi Verifying Compiler. Accompanies The Calculus of Computation: Decision Procedures with Applications to Verification Home | Download | Tutorial | Pi Programs | Book A verifying compiler compiles specified programs, which contain normal program text and additional text specifying desired properties of the program. A verifying compiler attempts to prove that the specified properties hold for all possible inputs to the program.
For example, a partially specified implementation of Bubble Sort, BubbleSort.pi, contains the typical implementation and a specification that the returned array is sorted. Pi is a simple imperative programming language for writing verified programs. Its name abbreviates Prove it, which is what the language asks you to do. (For example: Does your program sort arrays? To use πVC, obtain and begin reading a copy of the book; download and install the software; prove some programs; and write, specify, and prove your own programs. Code of The Monkey: Code Samples. The Potential Programming Language | A type-safe x86-64 systems programming language. PdScript - Precision software & consulting. PdScript (Precision Delphi Script) is a standalone executable interpreter of Pascal Script language, with a native support for graphical user interface. pdScript interpreter allows you to execute your scripts directly from Windows environment, from the command-line or via dynamically linked interpreter embedded into your application.
You can also build a standalone executable applications from your scripts, including an optional encryption of the code. pdScript IDE (Precision Delphi Script IDE) is a development environment for writing the code and designing the forms (GUI) in a Pascal Script language. pdScript IDE can also be used as a standalone editor of scripts, that are designed for any product that relies on "RemObjects Pascal Script engine" (its use is not limited to pdScript interpreter). It supports a Windows Messaging Interface, so it can be executed from within your application and then controlled by Windows messages.
Areas of usage Available editions. Phi - A Policy Language For the Web Application Domain. Pharo Open Source Smalltalk. Powermops. Homepage of Palm Basic. PAIP | Free Communications software downloads at SourceForge. Pwig project home. Paradox | Free Development software downloads at SourceForge. Parrot VM. OrbWorks Concentrated Software. PopAsm, the Popular Assembler project. Perl. PIL - Platform Independent Language.
Made With Prograph List. FlashPascal. IronPhp. Fogus/potion. About PL/B (Databus or DB/C) Llvm-Easter - Object Pascal compiler for LLVM. Pep8-1 - Pep/8 assembler and simulator for the textbook Computer Systems, J. Stanley Warford. Main Page - Pigmeo - .NET/Mono/CLI (C#, VB.NET, C++/CLI, Nemerle...) for microcontrollers (PIC, dsPIC, AVR...) Ucsd pascal. Perl Data Language.
PRO/5 Family | BASIS International Ltd. Pxbasic. Pxplus. Pyrex. Software by Miller Puckette. The Pizza Compiler, an Open Source compiler for a Java superset. Prothon. The Pict Programming Language. Pico Web Site. Piccola. Adept Software - PLC. Development Assistant for PL/M. PetaBricks - petabricks - PetaBricks programming language and compiler. - programming language and compiler. Pangolin-programming-language - A call by value functional language for correct programs. PaxScript. Pinedl - PineDL programming language implementation. Pixilang - Simple and fast programming language for graphics/sound applications. Pipelinekit - high level programming system for stream computing with OpenCL or DirectCompute. The Plaid Programming Language. Pure-lang - Pure is a modern-style functional programming language based on term rewriting. Processing - An open source programming language and environment for creating images, animation, and interactions.
PET Programming Language | Free software downloads. PLiX (Programming Language in XML) - Browse Files. Proty Programming Language. The Pluk programming language | Free Development software downloads. Pure-lang - Pure is a modern-style functional programming language based on term rewriting. PEBL: The Psychology Experiment Building Language. Post Scriptum language. PUL Programming Utility Language. The Panini project at Iowa State University. PLSims - Browse Files. Prose. P1 Programming Language. Pike.ida.liu.se: Home. The Pawn language.