22,811 Hits in 4.0 sec

Unifying execution of imperative and declarative code

Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
By being able to mix imperative code with executable declarative specifications, the user can easily express constraint problems in place, i.e., in terms of the existing data structures and objects on  ...  We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language.  ...  CONCLUSIONS AND FUTURE WORK In this paper, we presented Squander, a framework that unifies both writing and executing imperative and declarative code.  ... 
doi:10.1145/1985793.1985863 dblp:conf/icse/MilicevicRYJ11 fatcat:zampmasb6rdrhj6mxadwz5gsfm

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers
2013 Conference on Innovative Data Systems Research  
It does so by taking the functionality that was originally written as imperative code and translating it into relational queries that execute in the database.  ...  In this paper, we describe Sta-tusQuo, a system that aims to address this problem by using program analysis and program synthesis to enable the seamless movement of functionality between the database and  ...  This research is supported by ONR grant N000140910652 and NSF grant 0964409.  ... 
dblp:conf/cidr/CheungAMSM13 fatcat:rup6rxekdrg3bdkwilek4giawe

Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming [chapter]

Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
1994 Lecture Notes in Computer Science  
Similarly, system architectures offer the hardware abstractions and quantitative theories applicable to the execution of compiled programs.  ...  Specifically, inheritance can be used to model both programming languages as extensions to the assembly language executed by the target architecture, and system architectures as the root class of those  ...  Acknowledgements We would like to express our thanks to our colleagues at the Distributed Software Engineering group at Imperial College for ideas and discussions during the conduct of this research, and  ... 
doi:10.1007/3-540-57840-4_32 fatcat:iqge4zrdxnc3vkapyfeswurv2y

Towards a Unified Declarative and Imperative XQuery Processor

Zhen Hua Liu, Anguel Novoselsky, Vikas Arora
2008 IEEE Data Engineering Bulletin  
The key contribution of our approach is that the unified XQuery processor integrates both declarative and imperati ve XQuery/XQueryP processing paradigms.  ...  execution step.  ...  Similar to that of SQL/PSM or Oracle PL/SQL, XQueryP combines a hybrid imperative-declarative processing paradigm with a single XML data model.  ... 
dblp:journals/debu/LiuNA08 fatcat:iffxsd4ft5b5nkf2cgocnsrkey

Leveraging declarative languages in web application development

Petri Vuorimaa, Markku Laine, Evgenia Litvinova, Denis Shestakov
2015 World wide web (Bussum)  
In this paper, we discuss how declarative languages can simplify Web Application development and empower end-users as Web developers.  ...  XIDE supports all Web Application development levels and, especially, promotes the transition from markup authoring and snippet programming to single and unified language programming.  ...  AJAX libraries typically use only declarative UIs based on HTML. AJAX code-generators are even more imperative. OpenLazzlo has also declarative UI, but is otherwise imperative.  ... 
doi:10.1007/s11280-015-0339-z fatcat:ptnpyql3dvc4lowrjiwcz4fp4u

1983–1993: The wonder years of sequential Prolog implementation

Peter Van Roy
1994 The Journal of Logic Programming  
THE RELATIONSHIP OF THE WAM TO PROLOG AND IMPERATIVE LANGUAGES. The execution of Prolog is a natural generalization of the execution of imperative languages (see Figure 2.1) .  ...  This section assumes a basic knowledge of how Prolog executes [84, 114, 13 l] and of how imperative languages are compiled [3] .  ... 
doi:10.1016/0743-1066(94)90031-0 fatcat:kmwktuqn6ndovmlonzxyuxn5im

A demonstration of the RapidMesh development toolkit

Xiaozhou Li, Shivkumar C. Muthukumar, Changbin Liu, Joseph B. Kopena, Mihai Oprea, Ricardo Correa, Boon Thau Loo, Prithwish Basu
2009 Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization - WINTECH '09  
Our demonstration presents the experimental evaluation of a variety of declarative MANET routing protocols under different dynamic settings on the ORBIT wireless testbed.  ...  The evaluation results are shown in the ns-3 visualizer to display the mobility pattern of network and to compare the protocol performance.  ...  When compiled and executed, these declarative networks perform efficiently relative to imperative implementations. Figure 1 provides an overview of RapidMesh.  ... 
doi:10.1145/1614293.1614314 fatcat:6byz5orl4nejbduoqol2coz4hu

MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems [article]

Tianqi Chen, Mu Li, Yutian Li, Min Lin, Naiyan Wang, Minjie Wang, Tianjun Xiao, Bing Xu, Chiyuan Zhang, Zheng Zhang
2015 arXiv   pre-print
This paper describes both the API design and the system implementation of MXNet, and explains how embedding of both symbolic expression and tensor operation is handled in a unified fashion.  ...  Embedded in the host language, it blends declarative symbolic expression with imperative tensor computation. It offers auto differentiation to derive gradients.  ...  While Theano takes an declarative approach, Imperative Program Declarative Program Execute a = b+1 Eagerly compute and store the results on a as the same type with b.  ... 
arXiv:1512.01274v1 fatcat:fyupbuqit5gonnefjihykllcfq

mimium: a self-extensible programming language for sound and music

Tomoya Matsuura, Kazuhiro Jo
2021 Zenodo  
We propose a programming language for music named mimium, which combines temporal-discrete control and signal processing in a single language. mimium has an intuitive imperative syntax and can use stateful  ...  Furthermore, the runtime performance is made equivalent to that of lower-level languages by compiling the code through the LLVM compiler infrastructure.  ...  in unified semantics and achieves high execution speed via JIT compilation equivalent to UGen written in lower-level languages such as C++.  ... 
doi:10.5281/zenodo.5044732 fatcat:p3cqmahcfbbsrf2wwdqqg5q7xq

Experiences with an object-oriented, multi-stage language

Gregory Neverov, Paul Roe
2006 Science of Computer Programming  
The issues range from dealing with pervasive references and open code to garbage collection and implementing cross-stage persistence.  ...  Metaphor is a multi-stage programming language extension to an imperative, object-oriented language in the style of C# or Java.  ...  Acknowledgments We would like to thank the anonymous reviewers of both this journal issue and the MetaOCaml Workshop 2004 for their valuable comments which led to improvements in this paper and the work  ... 
doi:10.1016/j.scico.2006.05.002 fatcat:svqrv2o25zhx3nmiiuabeyj32i

Towards a Unified Programming Language [chapter]

Ole Lehrmann Madsen
2000 Lecture Notes in Computer Science  
In addition to traditional paradigms such as object-oriented-, imperative-functional-and logic programming, we also discuss concurrent programming and prototype-based programming.  ...  In this paper, we describe to what extent the BETA language has been successful in obtaining a unified style and where more research is needed.  ...  The inspiration to focus on unified-paradigm instead of multi-paradigm was the result of the author's participation in a panel on multi-paradigm at ECOOP'98 together with Tim Budd, James Coplien (the organizer  ... 
doi:10.1007/3-540-45102-1_1 fatcat:fqpwxwn7p5ehpho4oyesamsj5e

P-Bench: Benchmarking in Data-Centric Pervasive Application Development [chapter]

Sabina Surdu, Yann Gripay, Vasile-Marian Scuturici, Jean-Marc Petit
2013 Lecture Notes in Computer Science  
in a unified manner.  ...  In this paper we pursue the difficult objective of assessing the "easiness" of data-centric development in pervasive environments, which turns out to be much more challenging than simply measuring execution  ...  We separate task development on two levels: imperative code (written in an imperative programming language, e.g., C#) and declarative code (written in a declarative query language, e.g., Transact-SQL).  ... 
doi:10.1007/978-3-642-45269-7_3 fatcat:xccgngrmzfbczgdjujmnmdeufm

Specifying and Solving Constraints on Object Behavior

Tim Felgentreff, Alan Borning, Robert Hirschfeld
2014 Journal of Object Technology  
This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants.  ...  We present a language -Babelsberg -that unifies the constructs for encapsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code.  ...  Acknowledgments We would like to thank all of the members of the Software Architecture Group at Hasso Plattner Institute and of Viewpoints Research Institute for comments and suggestions on the work, in  ... 
doi:10.5381/jot.2014.13.4.a1 fatcat:zdcbv35aobbknec2mb2vemrneq

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI
2011 IEICE transactions on information and systems  
To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.  ...  In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages  ...  The intention of this step is to declare a transformation of the OCL concept into an abstract imperative code for its assertion. In our example, we declare a rewriting rule as shown in Fig. 9 (c) .  ... 
doi:10.1587/transinf.e94.d.612 fatcat:mzfpdravmrgxliht23hoiurike

Recent Advances in Declarative Networking [chapter]

Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou
2012 Lecture Notes in Computer Science  
execution.  ...  In particular, the paper focuses on the use of declarative networking for addressing four main challenges in the distributed systems development cycle: the generation of safe routing implementations, debugging  ...  Acknowledgments Our work on declarative networking has been generously funded by NSF (CNS-0721845, CNS-0831376, IIS-0812270, CCF-0820208, CNS-0845552, CNS-1040672, CNS-1065130, and CNS-1117052), AFOSR  ... 
doi:10.1007/978-3-642-27694-1_1 fatcat:k2saxeop4vhdbimwzmh7tgjuei
« Previous Showing results 1 — 15 out of 22,811 results