Filters








1,252 Hits in 3.7 sec

Context-oriented software transactional memory in common lisp

Pascal Costanza, Charlotte Herzeel, Theo D'Hondt
2009 Proceedings of the 5th symposium on Dynamic languages - DLS '09  
This paper presents CSTM, an STM framework based on Context-oriented Prorgamming, in which transactions are modelled as dynamically scoped layer activations.  ...  Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched.  ...  Charlotte Herzeel's research is funded by a doctoral scholarship of the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen).  ... 
doi:10.1145/1640134.1640144 dblp:conf/dls/CostanzaHD09 fatcat:b2mfqyivxfeyvhf2vukky2dlby

Context-oriented software transactional memory in common lisp

Pascal Costanza, Charlotte Herzeel, Theo D'Hondt
2009 SIGPLAN notices  
This paper presents CSTM, an STM framework based on Context-oriented Prorgamming, in which transactions are modelled as dynamically scoped layer activations.  ...  Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched.  ...  Charlotte Herzeel's research is funded by a doctoral scholarship of the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen).  ... 
doi:10.1145/1837513.1640144 fatcat:wlyoiwduvzejtcybrwfz5z7zae

Transactional contexts

Sebastián González, Marcus Denker, Kim Mens
2009 International Workshop on Context-Oriented Programming - COP '09  
To explore this idea, we set out to implement a simple software transactional memory system that exploits meta-level adaptability by regarding transactions as contexts, and adapting fundamental system  ...  This kind of meta-level adaptability, in which the computation model itself becomes adaptable to context, gives rise to context-oriented computational reflection.  ...  Software Transactional Memory system [13] , our goal is rather to make a case for the elegance and usefulness of context-oriented reflection to adapt the underlying computation model.  ... 
doi:10.1145/1562112.1562115 dblp:conf/ecoop/GonzalezDM09 fatcat:owrkapcuvfft5cn7o7hvlrgytu

VMIL 2011

Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2011 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11  
Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions,  ...  The VMIL workshop is a forum for research in virtual machines and intermediate languages.  ...  Possible candidates for investigation include modularity mechanisms (aspects, contextdependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, paradigmspecific  ... 
doi:10.1145/2048147.2048235 dblp:conf/oopsla/RajanHBD11 fatcat:n3axtjeaxvhtljs2uznuqbsu4q

Lisping Copyleft: A Close Reading of the Lisp LGPL

Eli Greenbaum
2013 International Free and Open Source Software Law Review  
the LGPL in the Lisp context.  ...  Knott, Interpreting Lisp, available at http://www.civilized.com/files/lispbook.pdf for a fuller explanation of how a Lisp interpreter stores library functions in memory. 51 The Free Software Foundation  ...  About the author Eli Greenbaum is an attorney at Yigal Arnon & Co. in Jerusalem, Israel, specialising in intellectual property law and transactions.  ... 
doi:10.5033/ifosslr.v5i1.75 fatcat:l5f56w3bbzh7dcnb2trqyohzem

VMIL 2010

Hridesh Rajan, Michael Haupt, Christoph M. Bockisch, Robert Dyer
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
Candidates include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc.  ...  The VMIL workshop is a forum for research in virtual machines (VMs) and intermediate languages.  ...  Possible candidates for investigation include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, paradigm-specific  ... 
doi:10.1145/1869542.1869609 dblp:conf/oopsla/RajanHBD10 fatcat:v4jgx55hx5capmegt4a2fwn7wy

VMIL

Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2009 Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09  
Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions,  ...  The VMIL workshop is a forum for research in virtual machines (VM) and intermediate languages (IL).  ...  Michael Haupt is a post-doctoral researcher at the Hasso-Plattner-Institut in Potsdam. His research interests are in improving the modularity of complex systems software.  ... 
doi:10.1145/1639950.1639972 dblp:conf/oopsla/RajanHBD09 fatcat:dyjie7dgcvgmbhjze7gcccunvq

Context-oriented programming: A software engineering perspective

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
2012 Journal of Systems and Software  
Context-oriented programming (COP) is emerging as a novel paradigm for the implementation of this kind of software, in particular in the field of mobile and ubiquitous computing.  ...  In this paper we review the state of the art in the field of COP in the perspective of the benefits that this technique can provide to software engineers in the design and implementation of context-aware  ...  [50] developed a context-oriented software transactional memory using ContextL. Software transactional memories (STM) can adopt different strategies.  ... 
doi:10.1016/j.jss.2012.03.024 fatcat:eukxz6n635b2ligscz6ih77fmi

Developing a reflective model of collaborative systems

Paul Dourish
1995 ACM Transactions on Computer-Human Interaction  
Recent years have seen a shift in perception of the nature of HCI and interactive systems.  ...  us toward a new model based on open abstraction that holds great promise in addressing these issues.  ...  in aspects of the virtual memory system's operation.  ... 
doi:10.1145/200968.200970 fatcat:lf7lbovg6zaypaw46ytc6nfdfe

Integrating an object-oriented programming system with a database system

Won Kim, Nat Ballou, Jay Banerjee, Hong-Tai Chou, Jorge G. Garza, Darrell Woelk
1988 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '88  
Another is the computational-model issue: application programmers should be able to access and manipulate objects as though the objects are in an infinite virtual memory: in other words, they should not  ...  There are two major issues to address to achieve integration of an object-oriented programming system with a database system.  ...  (In contrast, the proposed Common LISP Object System (CLOS) [CLOSSS] is only an object-oriented language extension to Common LISP.)  ... 
doi:10.1145/62083.62097 dblp:conf/oopsla/KimBCGWB88 fatcat:a6ff2bo47reini32zy6y3xglv4

MULTILISP: a language for concurrent symbolic computation

Robert H. Halstead
1985 ACM Transactions on Programming Languages and Systems  
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation.  ...  The potential complexity of dealing with side effects in a parallel context is mitigated by the nature of the parallelism constructs and by support for abstract data types: a recommended Multilisp programming  ...  Since procedure calls are a common construct in Lisp and Multilisp, pcall is useful in many situations.  ... 
doi:10.1145/4472.4478 fatcat:bfoivctzdrdr5ghzdqiarmvmku

Object-oriented databases: design and implementation

J.V. Joseph, S.M. Thatte, C.W. Thompson, D.L. Wells
1991 Proceedings of the IEEE  
efforts to uccelerute a comerisus that can lead to standards in the OODB area.  ...  Object-oriented database (OODB) systems repre-Jent the confluence of ideas from object-orientedprogra}nmlng languages cmd dutabase mancrgement.  ...  Many of the ideas presented in this paper came out of discussions with the Zeitgeist OODB project members, as well as feedback received from Zeitgeist users within Texas Instruments.  ... 
doi:10.1109/5.64382 fatcat:i25xxjqpyjfihemxkuimzkejjm

A review of Macsyma

R.J. Fateman
1989 IEEE Transactions on Knowledge and Data Engineering  
We consider input/output, language semantics, data types, pattern matching, knowledge-adjunction, mathematical semantics, the user community, and software engineering.  ...  He packaged the system in various ways to use Tcl/Tk as a front end and GCL (Gnu Common Lisp, a system he helped develop from Kyoto Common Lisp).  ...  This problem has been studied in other contexts in reformatting the listings of nested programs written LISP, PL/I and Pascal.  ... 
doi:10.1109/69.43409 fatcat:oh5qml3fkfenjb5lpk6gcz3pla

Comparative Studies of Programming Languages; Course Lecture Notes [article]

Joey Paquet, Serguei A. Mokhov
2010 arXiv   pre-print
Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science,  ...  Today, the most widely known general-purpose Lisp dialects are Clojure, Common Lisp and Scheme.  ...  embedded in Lisp.  ... 
arXiv:1007.2123v6 fatcat:4vwgbvr4xbhzjoubgv7d52mrke

A history of Clojure

Rich Hickey
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
I looked into the software transactional memory (STM) research and found that most of the work involved trying to superimpose transactions over otherwise ordinary imperative mutable state code in existing  ...  I needed another choice more like Common Lisp or I wouldn't be able to continue as a professional software developer.  ...  This means that an unquoted list in Clojure is invariably an expression, whereas in Scheme and Common Lisp the programmer must know the syntax of every macro in order to parse and understand its use of  ... 
doi:10.1145/3386321 fatcat:gsvigyskerc3hj7ebyj7bqimhm
« Previous Showing results 1 — 15 out of 1,252 results