Filters








601 Hits in 6.8 sec

Romeo: A system for more flexible binding-safe programming

PAUL STANSIFER, MITCHELL WAND
2016 Journal of functional programming  
AbstractCurrent systems for safely manipulating values containing names only support simple binding structures for those names.  ...  We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars.  ...  Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system  ... 
doi:10.1017/s0956796816000137 fatcat:cmhijepvqzg4ji4ga3h3hwixsu

Romeo

Paul Stansifer, Mitchell Wand
2014 SIGPLAN notices  
Current systems for safely manipulating values containing names only support simple binding structures for those names.  ...  We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars.  ...  Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system  ... 
doi:10.1145/2692915.2628162 fatcat:dcp56rzrqzblbeb4nlufg6tcw4

Romeo

Paul Stansifer, Mitchell Wand
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
Current systems for safely manipulating values containing names only support simple binding structures for those names.  ...  We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars.  ...  Acknowledgements We would like to thank Fabian Muehlboeck for his work in testing and validating Romeo, and Dionna Glaze for her collaboration in hammering out the formal properties of our binding system  ... 
doi:10.1145/2628136.2628162 dblp:conf/icfp/StansiferW14 fatcat:3r3kb6uporhfbfogyrrgg4o77i

Review of ACS, of existing transport protocols, application protocols, railway applications

Giuliano Romeo, Mazzenga Franco, Vizzarri Alessandro
2022 Zenodo  
In this deliverable we provide a review of the most important transport and application protocols on IP for ACS communications.  ...  Review of ACS, of existing transport protocols, application protocols, railway applications The adaptable communication system has been designed to operate in accordance with the bearer independence principle  ...  Thus, a more flexible approach is needed for the future that should be based on multi communication technologies.  ... 
doi:10.5281/zenodo.6299785 fatcat:62kqfwbvkfaidhxmpirynda67q

A language for updating logic programs and its implementation

Nicola Leone, Luigi Palopoli, Massimo Romeo
1995 The Journal of Logic Programming  
This paper proposes an update language, called ULL, for knowledge systems based on logic programming.  ...  Thus, simple control structures are defined for combining the basic updates into programs capable of expressing complex updates.  ...  This work was written in part when Luigi Palopoli was a visiting scholar at the UCLA Computer Science Department, and supported by the Italian National Research Council within the "Progetto Finalizzato  ... 
doi:10.1016/0743-1066(94)00025-2 fatcat:rhuekdv57rgdtjc3x24vaz25ue

Support for Mobile Location-Aware Applications in MAGNET [chapter]

Patty Kostkova, Julie McCann
2003 Lecture Notes in Computer Science  
and object database systems.  ...  this approach could enable flexible data exchange.  ...  Darwin, an architecturedescription language [6] , provides a convenient formalism for defining bindings in distributed systems.  ... 
doi:10.1007/3-540-36560-5_21 fatcat:y6jkx3dfkfbvrigethypzaris4

Controlled Flexibility in Business Processes Defined for Service Compositions

Malinda Kapuruge, Jun Han, Alan Colman
2011 2011 IEEE International Conference on Services Computing  
Therefore RoSAS as a service aggregator is looking for following key requirements for a process modeling and enactment approach. Req1. Flexible processes.  ...  For this, we implemented a wrapper for Romeo on-the-fly model checker [24] The wrapper dynamically generates the business constraints in TPN-TCTL format [23] and the models (behavior terms/business  ... 
doi:10.1109/scc.2011.80 dblp:conf/IEEEscc/KapurugeHC11 fatcat:e4w2q44nxzhsfejymj6gkbd66i

Multigram Synthesis and in Vivo Efficacy Studies of a Novel Multitarget Anti-Alzheimer's Compound

Irene Sola, Elisabet Viayna, Tània Gómez, Carles Galdeano, Matteo Cassina, Pelayo Camps, Margherita Romeo, Luisa Diomede, Mario Salmona, Pilar Franco, Mireille Schaeffer, Diego Colantuono (+5 others)
2015 Molecules  
We describe the multigram synthesis and in vivo efficacy studies of a donepezil-huprine hybrid that has been found to display a promising in vitro multitarget profile of interest for the treatment of Alzheimer's  ...  Oral administration for 3 months to transgenic APPSL mice, a well-established animal model of AD, improved short-term memory, but did not alter brain levels of Aβ peptides nor cortical and hippocampal  ...  system (CNS).  ... 
doi:10.3390/molecules20034492 pmid:25764491 fatcat:oiys7g2smvbvfoox7tsoj52lsu

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons

Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif
2017 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)  
The contribution of this paper is articulated around a new software design approach of autonomous control systems for connected vehicle platoons.  ...  Our software is mainly implemented using the Ada standard of programming (in particular the annexes D and E of real-time and distributed systems).  ...  The Automated Highway Systems (AHS) is a variant of ACVP systems and has been under research by the Program of Advanced Technology for Highway (PATH) for years [21] , [22] .  ... 
doi:10.1109/iceccs.2017.32 dblp:conf/iceccs/MouelhiCR17 fatcat:3bizol5cnvcfnmrzwfxkj4mauy

Programs Using Syntax with First-Class Binders [chapter]

Francisco Ferreira, Brigitte Pientka
2017 Lecture Notes in Computer Science  
This avoids errors in manipulating low-level operations, eases the task of prototyping program transformations and can have a major impact on the effort and cost of implementing such systems.  ...  We present a general methodology for adding support for higher-order abstract syntax definitions and first-class contexts to an existing ML-like language.  ...  The embedding is flexible enough that we can take advantage of the more powerful type system in OCaml to make the extension more powerful.  ... 
doi:10.1007/978-3-662-54434-1_19 fatcat:wh6koipi6ncddftib6n3ujir2m

Hygienic macro technology

William D. Clinger, Mitchell Wand
2020 Proceedings of the ACM on Programming Languages (PACMPL)  
This representation provides a convenient basis for macro processing, which allows the programmer to specify that some simple piece of abstract syntax should be replaced by some other, more complex piece  ...  The fully parenthesized Cambridge Polish syntax of Lisp, originally regarded as a temporary expedient to be replaced by more conventional syntax, possesses a peculiar virtue: A read procedure can parse  ...  some of the problems which may make other features difficult to standardize. [. . . ] Attendance: Attendance is by invitation only, as this is a working meeting.  ... 
doi:10.1145/3386330 fatcat:mf7ugimfgrhanp3yboah356a5u

HPP: A new software for constrained motion planning

Joseph Mirabel, Steve Tonneau, Pierre Fernbach, Anna-Kaarina Seppala, Mylene Campana, Nicolas Mansard, Florent Lamiraux
2016 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)  
Python bindings and a visualization tool allow for fast problem setting and prototyping: a new algorithm can be implemented in just a few lines of code.  ...  HPP is an open-source answer to the lack of a standard framework for these important issues for robotics and graphics communities.  ...  It also takes advantage of the flexibility of HPP to easily replace the default sampling method for a variant of OB-PRM [26] .  ... 
doi:10.1109/iros.2016.7759083 dblp:conf/iros/MirabelTFSCML16 fatcat:554qyvy56fdsthjgrjssbrslfe

The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence [article]

Gary Marcus
2020 arXiv   pre-print
In contrast, I propose a hybrid, knowledge-driven, reasoning-based approach, centered around cognitive models, that could provide the substrate for a richer, more robust AI than is currently possible.  ...  Recent research in artificial intelligence and machine learning has largely emphasized general-purpose learning and ever-larger training sets and more and more compute.  ...  I conjecture that they are a prerequisite for safely arriving at robust intelligence.  ... 
arXiv:2002.06177v3 fatcat:evtkborprvcbjmk5b4vznuklli

The BCCT family of carriers: from physiology to crystal structure

Christine Ziegler, Erhard Bremer, Reinhard Krämer
2010 Molecular Microbiology  
are formed by more flexible hydrophobic 642 interactions.  ...  regulatory K + -binding site more accessible.  ...  850 if, similar to the situation found for the BetP transporter and the periplasmic binding protein 851 ProX (Ressl et al., 2009; Schiefner et al., 2004a) , the ligand-binding site present in 852 ectoine  ... 
doi:10.1111/j.1365-2958.2010.07332.x pmid:20923416 fatcat:omygrnex75gqnnyzuu5iggazea

Improving performances at the second tier of the automotive supply chain: a draft case study of an innovative initiative in the Italian car industry

Massimo Follis, Aldo Enrietti
2001 International Journal of Automotive Technology and Management  
Therefore the question of who should take care of such improvements (as regards their objectives, organisation, and costs) appears as a critical one, and in need for original solutions.  ...  the 1996 Brussels seminar on "Training for new Work Structures" 1 .  ...  program a more stable relationship with the client companies that have brought them in.  ... 
doi:10.1504/ijatm.2001.000051 fatcat:ggh4qkuesfda7iak5pinzn36ma
« Previous Showing results 1 — 15 out of 601 results