Sciweavers

5377 search results - page 19 / 1076
» Programming Languages For Interactive Computing
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 4 days ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
ISADS
2003
IEEE
14 years 1 months ago
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
K. H. Kim, Seok-Joong Kang
ACMSE
2004
ACM
14 years 1 months ago
JavaCHIME: Java class hierarchy inspector and method executer
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
Pallavi Tadepalli, H. Conrad Cunningham
ICCL
1994
IEEE
13 years 12 months ago
A Compositional Approach to Concurrent Object-Oriented Programming
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
Raju Pandey, James C. Browne
HYBRID
2010
Springer
14 years 2 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider