Search Sciweavers | Sciweavers

10585 search results - page 227 / 2117

» The Orc Programming Language

click to vote

ICCL
1994
IEEE

124views Programming Languages» more ICCL 1994»

Semantics for a Real-Time Object-Oriented Programming Language

14 years 22 days ago

Download research.nii.ac.jp

This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...

Ichiro Satoh, Mario Tokoro

claim paper

Read More »

click to vote

JOT
2010

99views more JOT 2010»

A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages

13 years 7 months ago

Download www.jot.fm

Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...

Jennifer Pandolfo, Cui Zhang

claim paper

Read More »

click to vote

PROMAS
2007
Springer

134views Intelligent Agents» more PROMAS 2007»

A Common Semantic Basis for BDI Languages

14 years 3 months ago

Download www.inf.ufrgs.br

Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...

claim paper

Read More »

click to vote

DBPL
2009
Springer

132views Database» more DBPL 2009»

The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed

14 years 3 months ago