Filters








604 Hits in 4.9 sec

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language [chapter]

Viviana Bono, Luca Padovani, Andrea Tosatto
2013 Lecture Notes in Computer Science  
In this work we develop a polymorphic type system for leak-free copyless messaging in a functional setting, where first-class functions can be used as messages.  ...  Yet, even linear type systems leave room for scenarios where apparently well-typed programs may leak memory.  ...  The authors are grateful to the anonymous referees for their comments.  ... 
doi:10.1007/978-3-642-38592-6_7 fatcat:cjm3grajxnff7cbxmkl7ojuzpu

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins (+7 others)
2016 Foundations and Trends® in Programming Languages  
Acknowledgments This work has been supported by COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY).  ...  The authors are grateful to all members of the BETTY Working Group on Programming Languages (WG3) for interesting related discussions and to the anonymous reviewer who provided precious comments and suggestions  ...  Bono et al. [2013] extend the technique presented in [Bono et al., 2011, Bono and for detecting memory leaks into a language with first-class functions.  ... 
doi:10.1561/2500000031 fatcat:p3a4ohzlvvfjhiathi7oztvyzi

Sessions and Session Types: An Overview [chapter]

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2010 Lecture Notes in Computer Science  
we survey together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.  ...  We illustrate the concepts of sessions and session types as they have been developed in the setting of the π-calculus.  ...  We gratefully thank Giuseppe Castagna, Ilaria Castellani, Vasco Vasconcelos, Simon Gay, and Luca Padovani for their comments and suggestions on an early draft of the present paper.  ... 
doi:10.1007/978-3-642-14458-5_1 fatcat:enuzkptjcranrizbvhoco4chdm

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,  ...  These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia, as well as Comparative Programming Languages book and other resources, including our own.  ...  unpredictable, resulting in delays scattered throughout a session.  ... 
arXiv:1007.2123v6 fatcat:4vwgbvr4xbhzjoubgv7d52mrke

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report [article]

Sleiman Rabah, Jiang Li, Mingzhi Liu, Yuanwei Lai
2010 arXiv   pre-print
At the end, we will give our conclusion that which languages are suitable and which are not for using in some cases.  ...  There are many programming languages in the world today.Each language has their advantage and disavantage.  ...  Our POD, Yi Ji, for the introductions into AspectJ and Java reflection.  ... 
arXiv:1009.0305v1 fatcat:lcelqyy3ybb6jakrekezv22ajm

Security Concerns of Object Oriented Software Architectures

Dinesh KumarSaini
2012 International Journal of Computer Applications  
Object oriented systems are based on various architectures like COM, DCOM, CORBA, MVC and Broker. In object oriented technology the basic system component is an object.  ...  Individual system component is posing it own risk in the system. Security policies and the associated risk in these software architectures can be calculated for the individual component.  ...  A bug may appear anywhere in the code. The object oriented class methodology helps to detect bugs by providing for both compile-time and run-time type checking of pointers (handles) to class objects.  ... 
doi:10.5120/5012-7334 fatcat:2apv3x353zaylgl4dwptkni2bq

Comparative Studies of 10 Programming Languages within 10 Diverse Criteria - a Team 10 COMP6411-S10 Term Report [article]

Rana Naim, Mohammad Fahim Nizam, Sheetal Hanamasagar, Jalal Noureddine, Marinela Miladinova
2010 arXiv   pre-print
We study these languages in the context of the above mentioned criteria and the level of support they provide for each one of them.  ...  , OOP-based abstractions, reflection, aspect orientation, functional programming, declarative programming, batch scripting, and UI prototyping.  ...  As per, TIOBE's Categories of Programming Languages, object-oriented statically typed languages have been the most popular for more than four years.  ... 
arXiv:1008.3561v1 fatcat:5k7an2up5bbchboz6f2mzuehza

Typing Copyless Message Passing

Viviana Bono, Luca Padovani, Frank Piessens
2012 Logical Methods in Computer Science  
We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS.  ...  The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory.  ...  We are grateful to Lorenzo Bettini for discussions on the notion of memory leak, to Nobuko Yoshida for comments on an early version of this paper, and to the anonymous referees for the detailed and useful  ... 
doi:10.2168/lmcs-8(1:17)2012 fatcat:3mlfa4gfvbh35kmyg6y6hxpvua

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
2009 Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09  
This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static analysis of C programs.  ...  OCaml became the implementation language for Frama-C because it is expressive.  ...  Keywords OCaml, software architecture, plug-ins, static analysis  ... 
doi:10.1145/1596550.1596591 dblp:conf/icfp/CuoqSBBCCMPP09 fatcat:2akuxynspzbfxe4kkpnkdxovyi

Haskell's overlooked object system [article]

Oleg Kiselyov, Ralf Laemmel
2005 arXiv   pre-print
OOHaskell lends itself as a sandbox for typed OO language design.  ...  Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml.  ...  The second author presented this work at an earlier stage at the WG2.8 meeting (Functional Programming) in November 2004 at West Point. We are grateful for feedback received at this meeting.  ... 
arXiv:cs/0509027v1 fatcat:t3hgy6yxcff4ldzko3hogvt6ha

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
2009 SIGPLAN notices  
This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static analysis of C programs.  ...  OCaml became the implementation language for Frama-C because it is expressive.  ...  Keywords OCaml, software architecture, plug-ins, static analysis  ... 
doi:10.1145/1631687.1596591 fatcat:cx7rnla4zjbwjlyev3u3tlz3tm

Factor

Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
2010 Proceedings of the 6th symposium on Dynamic languages - DLS '10  
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language.  ...  The language has a simple execution model and is based on the manipulation of data on a stack. An advanced metaprogramming system provides means for easily extending the language.  ...  Acknowledgments We thank Eduardo Cavazos for the first implementations of dataflow combinators and pictured partial application syntax in Factor.  ... 
doi:10.1145/1869631.1869637 dblp:conf/dls/PestovEG10 fatcat:int7dbz2fvdgjcbtwe7j3rekwu

Factor

Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
2010 SIGPLAN notices  
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language.  ...  The language has a simple execution model and is based on the manipulation of data on a stack. An advanced metaprogramming system provides means for easily extending the language.  ...  Acknowledgments We thank Eduardo Cavazos for the first implementations of dataflow combinators and pictured partial application syntax in Factor.  ... 
doi:10.1145/1899661.1869637 fatcat:wth4v76s5nd2hh4cdrkzz5ldl4

Understanding Notional Machines through Traditional Teaching with Conceptual Contraposition and Program Memory Tracing

Jeisson Hidalgo-Céspedes, Gabriela Marín, Vladimir Lara-Villagrán
2016 CLEI Electronic Journal  
A correct understanding about how computers run code is mandatory in order to effectively learn to program.  ...  Constructivism learning theory objects to students' passiveness during lessons, and traditional quantitative methods for evaluating a complex cognitive process such as understanding.  ...  He required scaffolding to detect the memory leak. 8. Participant 8 separated between local variables, function calls, and dynamic memory.  ... 
doi:10.19153/cleiej.19.2.2 fatcat:xqetcgcvtzbybksalb64xp44qi

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
We thank them very much for their input. We would also like to give our particular thanks to Bernie Pope and Don Stewart, who prepared the time-line given in Figure 2 .  ...  Here they are, with their affiliations during the lifetime of the committee, and identifying those who served as Editor for some iteration of the language: Arvind (MIT), Lennart Augustsson (Chalmers University  ...  Thus, today, ¡ is a simple polymorphic function, which can be inserted or removed freely to fix space leaks, without changing the types of enclosing functions.  ... 
doi:10.1145/1238844.1238856 dblp:conf/hopl/HudakHJW07 fatcat:7i7s3ivrkzhotgoyvjnxcjglxu
« Previous Showing results 1 — 15 out of 604 results