Filters








266 Hits in 7.6 sec

Engineering a programming language: The type and class system of Sather [chapter]

Clemens Szyperski, Stephen Omohundro, Stephan Murer
1994 Lecture Notes in Computer Science  
Much of the engineering effort went into the design of the class and type system. This paper describes some of these design decisions and relates them to approaches taken in other languages.  ...  Sather 1.0 is a programming language whose design hill! re sulted from the interplay of many criteria.  ...  Syntax of the Sather Class and Type System The following sections give examples of actual Sather code fragments together with the corresponding grammar rules. The grammar rules are presented in a  ... 
doi:10.1007/3-540-57840-4_33 fatcat:dmb7oreis5hbzm32arbw6quuuy

Programming Language Interoperability in Distributed Computing Environments [chapter]

H.-Arno Jacobsen
1999 Distributed Applications and Interoperable Systems II  
The language mapping defines the representation of an a priori agreed upon set of data types in the target programming language. The developer is restricted to this convention.  ...  Programming language interoperability is achieved by mapping these interface specifications to the programming language of choice.  ...  DEFINING A LANGUAGE MAPPING Language mappings An OMG IDL language mapping defines the representation of IDL statements and data types in terms of constructs and types of the programming language under  ... 
doi:10.1007/978-0-387-35565-8_24 fatcat:vwc6ucfy2rcsnffxzpwssdeubi

Requirements for a first year object-oriented teaching language

Michael Kölling, Bett Koch, John Rosenberg
1995 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education - SIGCSE '95  
In particular, the paper examines C++, Smalltalk, Eiffel and Sather. Finally we outline characteristics of a new language, specifically designed for teaching purposes.  ...  In this paper we discuss the requirements for an object-oriented teaching language and draw attention to the deficiencies of existing languages.  ...  After having a very small and clean type system in early versions, current versions of Eiffel feature explicit pointers and an implementation alternative for classes that is visible in the class interface  ... 
doi:10.1145/199688.199770 dblp:conf/sigcse/KollingKR95 fatcat:72qnehrxxnbepnhwgvajselakq

Requirements for a first year object-oriented teaching language

Michael Kölling, Bett Koch, John Rosenberg
1995 ACM SIGCSE Bulletin  
In particular, the paper examines C++, Smalltalk, Eiffel and Sather. Finally we outline characteristics of a new language, specifically designed for teaching purposes.  ...  In this paper we discuss the requirements for an object-oriented teaching language and draw attention to the deficiencies of existing languages.  ...  After having a very small and clean type system in early versions, current versions of Eiffel feature explicit pointers and an implementation alternative for classes that is visible in the class interface  ... 
doi:10.1145/199691.199770 fatcat:gswefkr6unbmjdupqjgmjcp7pm

On type systems for object-oriented database programming languages

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
Since one of the main components of an object-oriented programming language is its type system, one of the first problems that arises during an OODBPL design is related to the development of a uniform,  ...  The concept of an object-oriented database programming language (OODBPL) is appealing because it has the potential of combining the advantages of object orientation and database programming to yield a  ...  The Sather type system correctly handles all these cases. Argument types and local variables can be specified by using either Sather types or Sather classes.  ... 
doi:10.1145/592642.592643 fatcat:mz2t56cf6vcpzisqgsckkgy77a

Selective specialization for object-oriented languages

Jeffrey Dean, Craig Chambers, David Grove
1995 SIGPLAN notices  
our syntax, λ(arg1:type){ ... code ... } is a closure that accepts one argument, and λ(type):type is a static type declaration for such a closure. self is the name of the receiver of a method.  ...  To reduce this overhead, optimizing compilers for object-oriented languages analyze the classes of objects stored in program variables, with the goal of bounding the possible classes of message receivers  ...  Customization is a simple specialization scheme used in the implementations of some object-oriented languages, including Self [Chambers & Ungar 89, Hölzle & Ungar 94] , Sather [Lim & Stolcke 91], and  ... 
doi:10.1145/223428.207119 fatcat:6nppggzqwvfkta3pnjgpyeau3i

Selective specialization for object-oriented languages

Jeffrey Dean, Craig Chambers, David Grove
1995 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation - PLDI '95  
our syntax, λ(arg1:type){ ... code ... } is a closure that accepts one argument, and λ(type):type is a static type declaration for such a closure. self is the name of the receiver of a method.  ...  To reduce this overhead, optimizing compilers for object-oriented languages analyze the classes of objects stored in program variables, with the goal of bounding the possible classes of message receivers  ...  An early version of this work appeared in the 1994 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94).  ... 
doi:10.1145/207110.207119 dblp:conf/pldi/DeanCG95 fatcat:skhhjxb2ujd2fheoqlgiaitau4

IN service specification using the KANNEL language [chapter]

Kari Granö, Jarmo Harju, Tapani Järvinen, Tapani Karttunen, Tapani Larikka, Jukka Paakki
1995 Intelligent Networks  
Intelligent network services with distributed and interacting components share a number of central features with communications protocols, thus bringing in the possibility of applying protocol engineering  ...  To verify this view, the KANNEL language is applied to the specification of an intelligent calling card service. The specification includes both visual and textual notations of KANNEL.  ...  The ideas and suggestions of the steering group are gratefully acknowledged. The working environment has been provided by Nokia Research Center.  ... 
doi:10.1007/978-0-387-34894-0_6 fatcat:fjuk4f6euzallllg3y7y6czyye

METHOD OF PARADIGMATIC ANALYSIS OF PROGRAMMING LANGUAGES

Lidia Vasiljevna Gorodnyaya, A.P. Ershov Institute of Informatics Systems SB RAS
2020 System Informatics  
of programming languages and their support systems.  ...  The purpose of the article is to describe the method of comparison of programming languages, convenient for assessing the expressive power of languages and the complexity of the programming systems.  ...  variety of types of semantic systems of PL and their extensions in the implementation of programming systems (PS) [5] .  ... 
doi:10.31144/si.2307-6410.2020.n16.p1-10 fatcat:m3kre5qvpbhshf7jma5o26owmu

Implementing statically typed object-oriented programming languages

Roland Ducournau
2011 ACM Computing Surveys  
Many works have been done recently in the framework of global compilation, mostly for dynamically typed languages but also applied to the Eiffel language in the Small Eiffel compiler.  ...  We examine how global compilation can improve the implementation and propose to use global techniques-coloring and type analysis-in a separate compilation framework.  ...  . τ s and τ d , where τ d <: τ s , denote respectively the static and dynamic types of an entity: the static type is an annotation in the program text, whereas the dynamic type is the class instanciating  ... 
doi:10.1145/1922649.1922655 fatcat:ntlwqmagj5h5damjaiy46whaxu

Technical Problem Based E-Language Instruction for Vocational Students

Eleni Papantoniou, Thanasis Hadzilacos
2016 Social Science Research Network  
Encouraged to reflect on and solve technical problems, they activated language skills for communicating their solutions through the synthesis of technical text-genres.  ...  Pre and post-test measurements demonstrated that, while both groups improved, the experimental group made significantly more progress in their language efficiency and writing.  ...  . • doc file with informational text on which oil is suitable for each type of motor. • Video with 4 stroke engine animation.mp4 • Illustration of lubrication system of a 4 stroke engine with forced lubrication  ... 
doi:10.2139/ssrn.2691934 fatcat:vxfosl77fnc77n7ndrhh2sf654

Interruptible iterators

Jed Liu, Aaron Kimball, Andrew C. Myers
2006 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06  
Interruptible iterators have been implemented as part of the JMatch programming language, an extended version of Java.  ...  A JMatch reimplementation of the Java Collections Framework shows that implementations can be made substantially shorter and simpler; performance results show that this language mechanism can also be implemented  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsement, either expressed or implied, of the funding  ... 
doi:10.1145/1111037.1111063 dblp:conf/popl/LiuKM06 fatcat:pash3zmfxngohni5rjfytvpy34

gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance

Erik Ernst
2000 DAIMI Report Series  
A language design development process is presented which leads to a language, gbeta, with a tight integration of virtual classes, general block structure, and a multiple inheritance mechanism based on  ...  Even though such dynamism is normally not seen in statically type-checked languages, these constructs have been integrated without compromising the static type safety of the language.  ...  make a di erence at the systems design and the software engineering level.  ... 
doi:10.7146/dpb.v29i549.7654 fatcat:k5kjz4sw4zfilb5r6sur52yvz4

Making the future safe for the past

Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
1998 Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98  
We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language.  ...  GJ increases expressiveness and safety: code utilizing generic libraries is no longer buried under a plethora of casts, and the corresponding casts inserted by the translation are guaranteed to not fail  ...  Thanks also to the members of the Java-genericity and Pizzausers mailing lists, for valuable criticism and continued feedback. Finally, thanks to the anonymous referees for their cogent comments.  ... 
doi:10.1145/286936.286957 dblp:conf/oopsla/BrachaOSW98 fatcat:tgteov5ufjf6zjsi75tvd2yilq

Mixing source and bytecode

Lennart C.L. Kats, Martin Bravenboer, Eelco Visser
2008 Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '08  
Stack-Consistency of Mixing Constructs The bytecode verifier ensures correct stack behavior and type safety of a program.  ...  {A} Case for Compilation by Normalization}, booktitle = {Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008)}, year = {2008}  ... 
doi:10.1145/1449764.1449772 dblp:conf/oopsla/KatsBV08 fatcat:t2iu5lofofbalea6ojvi57h43y
« Previous Showing results 1 — 15 out of 266 results