Filters








90,806 Hits in 4.4 sec

Teaching Programming Broadly and Deeply: The Kernel Language Approach [chapter]

Peter Van Roy, Seif Haridi
2003 IFIP Advances in Information and Communication Technology  
Programming needs both technology and science • We define programming broadly as the step from specification to running program, which consists in designing the architecture and its abstractions and coding  ...  that explains the technology and that is useful for the practicing programmer • Teaching programming requires teaching both the technology and the science -Surprisingly, programming is not taught in this  ...  , including declarative concurrency) -Reasoning with induction on invariants (declarative and stateful models) -Reasoning on interleavings, use of atomic actions (concurrent stateful model) • Execution  ... 
doi:10.1007/978-0-387-35619-8_6 fatcat:rml6y3aeubcfnefpz226yzalw4

Transformations of sequential specifications into concurrent specifications by synchronization guards

Ryszard Janicki, Tomasz Müldner
1990 Theoretical Computer Science  
The sequential specification is in the form of a regular expression extended with a declaration of the actions that are independent and have the potential for concurrent execution.  ...  The programming language representation of a sequential specification is exemplified in a Pascal-like language, Banach.  ...  Independent events must not engage in concurrent actions that couid result in ill-defined resuits.  ... 
doi:10.1016/0304-3975(90)90117-z fatcat:6a2wvbwxsnachhbs4tqr2f3k3i

An extension to horn clause logic allowing the definition of concurrent processes [chapter]

Luis Monteiro
1981 Lecture Notes in Computer Science  
The resulting formalism integrates in a uniform way the main features of functional, logic and concurrent programming.  ...  We present a concurrent extension of functional logic programming languages together with a compositional semantics based on labeled sequences, which takes into account the environment of the program.  ...  Thus, many concurrent extensions of declarative languages have been proposed.  ... 
doi:10.1007/3-540-10699-5_114 fatcat:mh4xjcjlezhbpabvfdbih32y5y

Designing a general-purpose programming language based on agent-oriented abstractions

Alessandro Ricci, Andrea Santi
2011 Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 - SPLASH '11 Workshops  
To this purpose, in this paper we discuss the value of agentoriented programming as a general-purpose programming paradigm to tackle this challenge, and, in particular, we present an agent-oriented programming  ...  The fundamental turn of software toward concurrency, decentralization, distribution, interaction calls for conceptually extending or evolving mainstream programming paradigms with proper high-level features  ...  the design and programming of concurrent, distributed, reactive and interactive programs.  ... 
doi:10.1145/2095050.2095078 dblp:conf/oopsla/RicciS11 fatcat:t5ivfukgyrbjzlqtibti2tbb4e

Role-Based Declarative Synchronization for Reconfigurable Systems [chapter]

Vlad Tanasescu, Paweł T. Wojciechowski
2005 Lecture Notes in Computer Science  
We therefore take a declarative approach and introduce a set of high-level programming abstractions which allow the programmer to easily express complex synchronization constraints in multithreaded programs  ...  In this paper we address the problem of encoding complex concurrency control in reconfigurable systems.  ...  We hope that our demonstration of declarative synchronization can be instructive, especially in the context of adaptive, non-stop systems, which may occasionally need to change their modus operandi.  ... 
doi:10.1007/978-3-540-30557-6_6 fatcat:dczepn6lnfacdkmi7fzzmqykzi

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

Ziyi LIN, Yilei ZHOU, Hao ZHONG, Yuting CHEN, Haibo YU, Jianjun ZHAO
2017 IEICE transactions on information and systems  
However, for concurrent programs, test cases alone are typically insufficient to reproduce buggy behaviours, due to the nondeterminism of multi-threaded executions.  ...  In particular, we have recognized three debugging scenarios from programming practice, but existing approaches can handle only one of the scenarios.  ...  Introduction Concurrent programming has been widely used in practical Java projects.  ... 
doi:10.1587/transinf.2016edp7388 fatcat:txf5hrf7wfakrhw6ouqhf5fqzi

Verifying linear time temporal logic properties of concurrent Ada programs with quasar

S. Evangelista, C. Kaiser, J. F. Pradat-Peyre, P. Rousseau
2004 ACM SIGAda Ada Letters  
In this paper we present an original and useful way for specifying and verifying temporal properties of concurrent programs with our tool named Quasar.  ...  In order to simplify the expression of these properties, we define some templates that can be instantiated with specific items of the programs.  ...  For instance, in the Peterson example (given is section 3.3), we first look for concurrent statements and possibly blocking actions (for example, infinite loops or statements defined by the user).  ... 
doi:10.1145/992211.958424 fatcat:a4s7fgr3fza43fdaydm7wlcuhm

A methodology for programming with concurrency: An informal presentation

Christian Lengauer, Eric C.R. Hehner
1982 Science of Computer Programming  
Declaration of program properties, so-called semantic relations, that allow relaxations in the sequencing of the refinement's operations (e.g., concurrency).  ...  (b) Concurrency is a property not of programs but of executions. Programs do not contain concurrent commands, only suggestions (declarations) of concurrency.  ...  Starvation, the situation where some action concurrent with others can in theory be activated but actually never is, can only occur in non-terminating programs.  ... 
doi:10.1016/0167-6423(82)90002-8 fatcat:ab2jygrhbzedlmxzv5uzd7svb4

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation

M. Alpuente, M.M. Gallardo, E. Pimentel, A. Villanueva
2008 Electronical Notes in Theoretical Computer Science  
Then, we present a generic framework for approximating the semantics of the main constructs which applies to both, declarative as well as imperative concurrent programming languages.  ...  Coming from different programming traditions, concurrent languages differ in many respects, though all share the common aspect to expose parallelism to programmers.  ...  Action : Intuitively, a program is a set of declarations together with an initial action Action.  ... 
doi:10.1016/j.entcs.2008.03.072 fatcat:ta52xgnlkrg6xcmnfnz4mqoqiu

Page 24 of Journal of Research and Practice in Information Technology Vol. 15, Issue 1 [page]

1983 Journal of Research and Practice in Information Technology  
CONCURRENCY IN ADA Ada tasks are entities which may operate in parallel.  ...  In the more general case, a task type specifica- tion defines a type which can be used to declare objects (instances) of this task (in the same way as standard variable declarations).  ... 

Representing Concurrent Actions in Extended Logic Programming

Chitta Baral, Michael Gelfond
1993 International Joint Conference on Artificial Intelligence  
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP , s).  ...  Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations  ...  Introduction Gelfond and Lifschitz [3] introduce a declarative language A for describing effects of actions and define the semantics of this language based on the notion of a finite automata.  ... 
dblp:conf/ijcai/BaralG93 fatcat:ddoksophd5eudaix7gknivwgd4

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan Davidson, Insup Lee
1993 Real-time systems  
The RTC approach to concurrent real-time programming is to explicitly express real-time concurrency constraints in a program, and allow the run-time system to enforce them or raise an exception when they  ...  Variables of type abs time and rel time may be declared in programs and are assigned values using C language assignment statement.  ... 
doi:10.1007/bf01088697 fatcat:wepmhw27undg3gffbibuh4mily

A Concurrent Operational Semantics for Constraint Functional Logic Programming

Rafael Del Vado Vírseda, Fernando Pérez Morente, Marcos Miguel García Toledo, Marc Herbstritt
2012 International Conference on Logic Programming  
In this paper we describe a sound and complete concurrent operational semantics for constraint functional logic programming languages which allows to model declarative applications in which the interaction  ...  In this concurrent version of the CFLP(D) scheme, goal solving processes can be executed concurrently and cooperate together to perform their specific tasks via demand-driven narrowing and declarative  ...  for concurrent functional and constraint logic programming.  ... 
doi:10.4230/lipics.iclp.2012.154 dblp:conf/iclp/VirsedaMT12 fatcat:tymooafwuvdmpdprheqiihrk3y

A declarative state transition system

Ian Foster
1991 The Journal of Logic Programming  
Concurrent functional and logic languages support concurrent programming in a declarative formalism. They also permit a partial solution to the problem of state change.  ...  It has described an approach to programming system design that supports a declarative treatment of program update in a concurrent environment.  ...  Note that in the program, primitive(G) reads: G is a call to a Parlog+ primitive. Assume that the procedures defined in the program are located in program trans. Then the transaction ?  ... 
doi:10.1016/0743-1066(91)90005-a fatcat:b5jdmb4ydfhwfh4iynnat3gt7a

A tool for proving invariance properties of concurrent systems automatically [chapter]

Hassen SaÏdi
1996 Lecture Notes in Computer Science  
FIGURE 2 . 2 : ( pvs-boolean-formula ) INITIALLY : ( pvs-boolean-formula ) END id-system ( program ) I ( program ) II ( components ) id-program : PROGRAM BEGIN ( local-declarations ) ACTIONS : BEGIN (  ...  Programs may use as basic functions any function definable in PVS by importing predefined or user-defined theories. Static analysis Static analysis provides "structural" invariants.  ... 
doi:10.1007/3-540-61042-1_61 fatcat:g43xrypyc5ggrjlpeofqlfwf4i
« Previous Showing results 1 — 15 out of 90,806 results