A complete semantics for SMALLTALK-80

Golubski, Wolfgang; Lippe, Wolfram-Manfred

doi:10.1016/0096-0551(95)00002-l

Cited by 2 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Objective‐C is an object‐orientation extension to C language using Smalltalk‐80 18‐like semantics. It is a proper superset of C meaning that it is possible to include C code within Objective‐C code.…”

Section: Methodsmentioning

confidence: 99%

Bringing Scheme programming to the iPhone—Experience

et al. 2012

View full text Add to dashboard Cite

SUMMARYThe iPhone SDK provides a powerful platform for the development of applications that make use of iPhone capabilities such as sensors, GPS, Wi-Fi or Bluetooth connectivity. Thus far we observe that the development of iPhone applications is mostly restricted to using Objective-C. However, developing applications in plain Objective-C on the iPhone OS suffers from limitations such as the need for explicit memory management and lack of syntactic extension mechanism. Moreover, when developing distributed applications in Objective-C, programmers have to manually deal with distribution concerns such as service discovery, remote communication, and failure handling. In this paper, we discuss our experience on porting the Scheme programming language to the iPhone OS and how it can be used together with Objective-C to develop iPhone applications. To support the interaction between Scheme programs and the underlying iPhone APIs, we have implemented a language symbiosis layer that enables programmers to access the iPhone SDK libraries from Scheme. In addition, we have designed high-level distribution constructs to ease the development of distributed iPhone applications in an event-driven style. We validate and discuss these constructs with a series of examples including an iPod controller, a maps application and a distributed multiplayer Scrabble-like game. We discuss the lessons learned from this experience for other programming language ports to mobile platforms. key words: iPhone development; Scheme; Objective-C; language symbiosis; interactive scripting environment; event-driven programming

show abstract

Section: Methodsmentioning

confidence: 99%

Bringing Scheme programming to the iPhone—Experience

et al. 2012

View full text Add to dashboard Cite

show abstract

“…This is not easily achieved by classical approaches of programming. COP was established on languages like Smalltalk [3], Java [4], and JavaScript [5]. While the idea of homogeneous crosscutting is to execute the same source code at the join points of concerns, the idea of heterogeneous crosscutting concerns is to execute different source code at the join points.…”

Section: Introductionmentioning

confidence: 99%

Testing Automation of Context-Oriented Programs Using Separation Logic

El-Zawawy

2014

Applied Computational Intelligence and Soft Computing

View full text Add to dashboard Cite

A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ*and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system for COP programs. This logic is necessary for the automation of testing, developing, and validating of partial correctness specifications for COP programs and is an extension of separation logic. A mathematical soundness proof for the logical system against the proposed operational semantics is presented in the paper.

show abstract

A complete semantics for SMALLTALK-80

Cited by 2 publications

References 11 publications

Bringing Scheme programming to the iPhone—Experience

Bringing Scheme programming to the iPhone—Experience

Testing Automation of Context-Oriented Programs Using Separation Logic

Contact Info

Product

Resources

About