Filters








674 Hits in 5.3 sec

Type-safe distributed programming for OCaml

John Billings, Peter Sewell, Mark Shinwell, Rok Strniša
2006 Proceedings of the 2006 workshop on ML - ML '06  
involved: user-defined variant and record types, substructures, functors, arbitrary ascription, separate compilation, and external C functions. (2) We support marshalling within polymorphic functions  ...  In previous work on theoretical calculi and the Acute prototype language we outlined techniques to provide them for simple languages.  ...  We thank Jacques Garrigue for discussions on type passing, Julien Verlaguet for work on a predecessor system, and Adam Biltcliffe, James Leifer, Benjamin Pierce, Tom Ridge, Viktor Vafeiadis, and Alisdair  ... 
doi:10.1145/1159876.1159881 dblp:conf/ml/BillingsSSS06 fatcat:gn5y6wjperc5jdzem77yuusuxq

An open and shut typecase

Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
2005 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation - TLDI '05  
These two forms of ad-hoc polymorphism differ in the way that they treat user-defined types.  ...  Ad-hoc polymorphism allows the execution of programs to depend on type information. It is a compelling addition to typed programming languages.  ...  Acknowledgments Thanks to Steve Zdancewic, Benjamin Pierce, and Andreas Rossberg for helpful discussion.  ... 
doi:10.1145/1040294.1040296 dblp:conf/tldi/VytiniotisWW05 fatcat:d37cigpoevfvdjj5wue43zmvoa

A concise XML binding framework facilitates practical object-oriented document engineering

Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, Madhur Khandelwal
2008 Proceeding of the eighth ACM symposium on Document engineering - DocEng '08  
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and interchange between programs  ...  Distributed Computing Services; interaction logging services; and a user studies framework.  ...  The ecologylab.studies framework layers on ecologylab.xml and ILS to develop a component-based Java web application for building user studies that administer complex questionnaires and launch and gather  ... 
doi:10.1145/1410140.1410152 dblp:conf/doceng/KerneTDK08 fatcat:2u3xcycrqnbu5kiihbm4xaqep4

Algorithmic Skeletons within an Embedded Domain Specific Language for the CELL Processor

Tarik Saidani, Joel Falcou, Claude Tadonki, Lionel Lacassagne, Daniel Etiemble
2009 2009 18th International Conference on Parallel Architectures and Compilation Techniques  
We propose to use Generative Programming and more precisely template meta-programing to design an Embedded Domain Specific Language using algorithmic skeletons to generate applications based on a high-level  ...  code are real challenges for application developers.  ...  Acknowledgement This work was supported by the OCELLE project, funded by the French National Agency for Research (ANR).  ... 
doi:10.1109/pact.2009.21 dblp:conf/IEEEpact/SaidaniFTLE09 fatcat:xpj74526graivcl3sqf4wbngay

Acute

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2005 Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05  
It is supported by a full language definition (of typing, compilation, and operational semantics), by a prototype implementation, and by example distribution libraries.  ...  Existing languages provide good support for typeful programming of standalone programs.  ...  Acute does not yet support user-definable type constructors.  ... 
doi:10.1145/1086365.1086370 dblp:conf/icfp/SewellLWNAHV05 fatcat:jrqvvtowlnhq3pkdaccya3izxm

Serialization in Object-Oriented Programming Languages [chapter]

Konrad Grochowski, Michał Breiter, Robert Nowak
2019 Software Design and Modelling [Working Title]  
This chapter depicts the process of converting object state into a format that can be transmitted or stored in currently used object-oriented programming languages.  ...  In this chapter we discuss these issues and give them solutions. We also include a short review of tools currently used, and we showed that meeting all requirements is not possible.  ...  for the users, but at least they can still use default collection types in their languages.  ... 
doi:10.5772/intechopen.86917 fatcat:zag5loaclne4timnlm32weejdu

Acute: High-level programming language design for distributed computation

PETER SEWELL, JAMES J. LEIFER, KEITH WANSBROUGH, FRANCESCO ZAPPA NARDELLI, MAIR ALLEN-WILLIAMS, PIERRE HABOUZIT, VIKTOR VAFEIADIS
2007 Journal of functional programming  
It is supported by a full language definition (of typing, compilation, and operational semantics), by a prototype implementation, and by example distribution libraries.  ...  Existing languages provide good support for typeful programming of standalone programs.  ...  We have defined and implemented a programming language, Acute, which extends an OCaml core with features for type-safe marshalling and naming in the distributed setting.  ... 
doi:10.1017/s0956796807006442 fatcat:vmksppxyszayxe5i5ucjwbtzom

Acute

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
2005 SIGPLAN notices  
It is supported by a full language definition (of typing, compilation, and operational semantics), by a prototype implementation, and by example distribution libraries.  ...  Existing languages provide good support for typeful programming of standalone programs.  ...  We have defined and implemented a programming language, Acute, which extends an OCaml core with features for type-safe marshalling and naming in the distributed setting.  ... 
doi:10.1145/1090189.1086370 fatcat:dmdtxjpltvdyxkq75jyys3aiea

The next 700 data description languages

Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2010 Journal of the ACM  
Finally, thanks to Andrew Appel for suggesting we refer to Landin's seminal paper on the next 700 programming languages.  ...  Acknowledgments We appreciate the insights and thoughtful reviews of the program committee for the 33 rd ACM Symposium on Principles of Programming Languages, who commented on an earlier version of this  ...  In general, we write C(e) for a base type C parameterized by a (host language) expression e.  ... 
doi:10.1145/1667053.1667059 fatcat:jguc7wpozvco3ktflx7mcx5g6m

Type-safe run-time polytypic programming

STEPHANIE WEIRICH
2006 Journal of functional programming  
Polytypic programming is a way of defining type-indexed operations, such as map, fold and zip, based on type information.  ...  This paper describes how to recast that work in a type-erasure semantics, where terms represent type information in a safe manner.  ...  ., 2002) (CWM) defined the λ R language that has a type-erasure semantics and operations for first-order type analysis.  ... 
doi:10.1017/s0956796806005879 fatcat:565tbvem5ndabegfpvsxpov5cm

Modeling a Groupware Editing Tool with Cooperative Objects [chapter]

Rémi Bastide, Philippe Palanque
2001 Lecture Notes in Computer Science  
In this paper, we merely recall the main features of the Cooperative Objects formalism, which is an object-oriented language, based on high-level Petri nets.  ...  This paper contains a solution to the case study proposed for the 2nd edition of the OO-MC workshop.  ...  In the PetShop tool (which is written in Java), the value of a token is a n-tuple of typed values, those values representing either: • Any Java type (native type, or polymorphic class instance); • A reference  ... 
doi:10.1007/3-540-45397-0_10 fatcat:qbadcjjacraahpmeuivonkbgf4

Validation of UML Models via a Mapping to Communicating Extended Timed Automata [chapter]

Iulian Ober, Susanne Graf, Ileana Ober
2004 Lecture Notes in Computer Science  
We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended timed automata -in the IF format  ...  , with a particular semantic profile for communication and concurrency.  ...  We base our work on the framework defined in [18] for modeling timed systems.  ... 
doi:10.1007/978-3-540-24732-6_9 fatcat:agilzfyk55hcnkl3sg5wpioifm

Flavor

Alexandros Eleftheriadis
1997 Proceedings of the fifth ACM international conference on Multimedia - MULTIMEDIA '97  
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation).  ...  It is an extension of C++ and Java in which the typing system is extended to incorporate bitstream representation semantics.  ...  For output purposes, and as will be discussed in Section 8, it is up to the user to set up the right object type in preparation for output.  ... 
doi:10.1145/266180.266319 dblp:conf/mm/Eleftheriadis97 fatcat:onjjlxkcw5ghphjbvqdbzb5xnq

A Principled Approach to Tracking Information Flow in the Presence of Libraries [chapter]

Daniel Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld
2017 Lecture Notes in Computer Science  
or written in a different language.  ...  There has been encouraging progress on information flow control for programs in increasingly complex programming languages, tracking the propagation of information from input sources to output sinks.  ...  The main contributions of this paper are: a split semantics with stateful marshaling for a simple core; a split semantics with stateful marshaling for structured data in the form of lists and the concept  ... 
doi:10.1007/978-3-662-54455-6_3 fatcat:vzv5qftj3na7le44crfxarix4e

CORBA & DSA: Divorce or Marriage? [chapter]

Laurent Pautet, Thomas Quinot, Samuel Tardieu
1999 Lecture Notes in Computer Science  
This paper presents a comparison between CORBA and the Ada 95 Distributed Systems Annex.  ...  They also would like Top Graph'X for their free release of ORBAda.  ...  Acknowledments: The authors would like to thank Brad Balfour (Objective Interface) and Frank Singhoff (ENST) for their fruitful comments.  ... 
doi:10.1007/3-540-48753-0_19 fatcat:ugdfk2aodjglnk274zndj5palm
« Previous Showing results 1 — 15 out of 674 results