Tags

klaufer's library 84 articles

 
Sort by: Order: Empty fields:
 

Initial experience in moving key academic department functions to social networking sites

  [CiTO]
In Proc. 6th International Conference on Software and Data Technologies (ICSOFT) (July 2011)

Abstract

We discuss our initial experience with the transition from conventional technology to social networking sites and other cloud-backed sites for three core business functions of an academic computer science department at a mid-size private university: course management, research collaboration, and community engagement. We first discuss the social/cultural context that informs our technology choices, as well as the evolution of the technology choices themselves. Then, we identify the targeted department functions and their actors. Next, we describe the past and present technical ...

 

Modeling the mashup ecosystem: structure and growth

  [CiTO]
R&D Management, Vol. 40, No. 1. (2010), pp. 40-49, doi:10.1111/j.1467-9310.2009.00582.x

Abstract

Mashups combine data and services provided by third parties through open APIs (such as Google Maps and Flickr), as well as internal data sources owned by users. The creation of mashups is supported by a complex ecosystem of interconnected data providers, mashup platforms, and users. In this paper, we examine the structure of the mashup ecosystem and its growth over time. Several observations follow from our analysis. First, we can conclude that while the number of new APIs and mashups over ...

 

Course Management Systems: Traveling Beyond Powerpoint Slides Online

  [CiTO]
In Bulletin of the American Astronomical Society, Vol. 36 (December 2004), 1499

Abstract

Course management systems (CMS) like WebCT, Blackboard, Astronomica, etc., have reached and surpassed their tipping point in higher education. They are no longer a technology-trendy item to use in a course, but rather an expected supplement to undergraduate courses. There is a well known disconnect between the student population of ”digital natives” (1) and higher education instructors, the ”digital immigrants” (1). What expectations and technology skills do the new generations of undergraduates have? How can instructors easily meet their students' needs? What needs do instructors have and what resources are ...

 

What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software

  [CiTO]
Social Science Research Network Working Paper Series (22 August 2007)
posted to socialnetworking by klaufer  on 2011-05-26 07:46:44 ** along with 56 people and 4 groups aalves aboutlas adipple alourens AnthonySoprano artaban421 bishui_bd bjacquem brk3 captsolo ChenZhe cherietait chrisd christinast cyborga davidsanchezm ekrsulov eloyvaltierra eudominguezmartin gladinxyz iCeGS jalonsoarevalo jelkimantis josh_lasson LibraryDemoMtpx lilianvt lillylilly3 lmichan lyss marclijour MARCOUNAM medieteknik migl85 mkfabian montyfuchs mrp3rs0n paulapetry pekrau pholz pigironjoe public2 rajinesh rrbarb shimritjanes sigaloola sototozo SPSimons tanyacovi6 toanuzzo vollbio warding yaninagt yleung youngorange ypjones yusongyue bachelor-seminar_web20_ws2011-2012 CIBERLITERATURA UNAM New Media - IMV Social computing

Abstract

This paper was the first initiative to try to define Web 2.0 and understand its implications for the next generation of software, looking at both design patterns and business modes. Web 2.0 is the network as platform, spanning all connected devices; Web 2.0 applications are those that make the most of the intrinsic advantages of that platform: delivering software as a continually-updated service that gets better the more people use it, consuming and remixing data from multiple sources, including individual users, ...

 

Web 2.0 goes academia: does Web 2.0 make a difference?

  [CiTO]
International Journal of Web Based Communities, Vol. 5, No. 4. (1 January 2009), pp. 484-500
posted to socialnetworking by klaufer  on 2011-05-26 07:46:04 ** along with 26 people anetajf cdtrini chrisd cyborga davehirsty demudu effjay ejcubs israrelax Jachpo JPM46 kacrey knollm marianacecilia miren pigironjoe ramonovelar rickl rikochet1967 rrbarb SocialMedia4Research summerschool toanuzzo ubeda vlasto yoelabreu84

Abstract

Web 2.0 is often attributed with a high potential to address today's challenges in knowledge management and distributed collaboration. This is due to the focus on innovative and creative sociotechnical concepts that are strongly influenced by informal communication and collaboration. This development has already reached industry. Using the term 'Enterprise 2.0', different possibilities to use social software in enterprises are researched. But also in academia, cooperation to generate new knowledge and add it to the scientific discourse may radically change under ...

 

Beyond natives and immigrants: exploring types of net generation students

  [CiTO]
Journal of Computer Assisted Learning, Vol. 26, No. 5. (2010), pp. 332-343, doi:10.1111/j.1365-2729.2010.00371.x
posted to socialnetworking by klaufer on 2011-05-26 07:41:40 ** along with 3 people rickl sarspri warters

Abstract

Abstract Previously assumed to be a homogenous and highly skilled group with respect to information and communications technology, the so-called Net Generation has instead been shown to possess a diverse range of technology skills and preferences. To better understand this diversity, we subjected data from 2096 students aged between 17 and 26 from three Australian universities to a cluster analysis. Through this analysis, we identified four distinct types of technology users: power users (14% of sample), ordinary users (27%), irregular users ...

 

Digital divides? Student and staff perceptions of information and communication technologies

  [CiTO]
Computers & Education (20 November 2009), doi:10.1016/j.compedu.2009.11.006
posted to socialnetworking by klaufer on 2011-05-26 07:41:01 **

Abstract

This paper reports qualitative findings from a study that investigated Australian university staff and students’ perceptions and use of current and emerging technologies both in their daily lives and in teaching and learning contexts. Forty-six first-year students and 31 teaching and support staff from three Australian universities took part in interviews and focus groups. This paper examines how students and staff reported on their use of new technologies in their daily lives, their stated reasons for using those technologies, and their ...

 

Measurement and analysis of online social networks

  [CiTO]
In Proceedings of the 7th ACM SIGCOMM conference on Internet measurement (2007), pp. 29-42, doi:10.1145/1298306.1298311
posted to socialnetworking by klaufer  on 2011-05-26 07:31:09 ** along with 55 people and 4 groups 07111013 A_Olympia abellogin agulli AJCann ajuergens arasbm bbzpda beefer cimbrone dartar deannamascle Demeter dennis2008 dexter_shen dimitargn dingfei dschafer dst dylanwalker elsantosneto fmccown haroldfigueroa harperf HenryR jblebrun jgrady75 JoeVinegar joydeep kwgilbertson ladamic macle majik8 marcio mdrosou mezaradu nikitaborisov ohjs opw phauly pigironjoe plotti pms rrbarb Scis0000002 silviumaniu thanaphon thong tnhh turadg w2opma wahlstrom woowey xiaokeeie yannleroux eLearning logics of knowledge Online communities Sonet at FBK

Abstract

Online social networking sites like Orkut, YouTube, and Flickr are among the most popular sites on the Internet. Users of these sites form a social network, which provides a powerful means of sharing, organizing, and finding content and contacts. The popularity of these sites provides an opportunity to study the characteristics of online social network graphs at large scale. Understanding these graphs is important, both to improve current systems and to design new applications of online social networks. This paper presents ...

 

Age differences in online social networking - A study of user profiles and the social capital divide among teenagers and older users in MySpace

  [CiTO]
Comput. Hum. Behav., Vol. 25, No. 3. (02 May 2009), pp. 643-654, doi:10.1016/j.chb.2008.08.015

Abstract

The aim of this research was to investigate age differences and similarities in the use of the social networking website MySpace, to explore potential differences in social capital among older people (users over 60 years of age) compared to teenagers (users between 13 and 19 years of age). We used locally developed web crawlers to collect data from MySpace's user profile pages, and to quantify any differences that exist in the networks of friends of older people and teenagers. Content analysis ...

 

Growing Up Digital: The Rise of the Net Generation

  [CiTO]
(09 June 1999)

Abstract

Don Tapscott, author of <i>The Digital Economy</i>, turns his attention to the way young people--surrounded by high-tech toys and tools from birth--will likely affect the future. In <i>Growing Up Digital: The Rise of the Net Generation</i>, Tapscott parlays some 300 interviews into predictions on how today's 2- to 22-year-olds might reshape society. His observations about this enormously influential population, which will total 88 million in North America alone by the year 2000, range from the kind of employees they may ...

 

Engaging stakeholders through social networking: How nonprofit organizations are using Facebook

  [CiTO]
Public Relations Review, Vol. 35, No. 2. (June 2009), pp. 102-106, doi:10.1016/j.pubrev.2009.01.006

Abstract

Since social networking sites, such as MySpace and Facebook, began allowing organizations to create profiles and become active members, organizations have started incorporating these strategies into their public relations programming. For-profit organizations have used these sites to help launch products and strengthen their existing brands; however, little is known about how nonprofit organizations are taking advantage of the social networking popularity. Through a content analysis of 275 nonprofit organization profiles on Facebook, this study examines how these new social networking sites ...

 

Career building through social networking

  [CiTO]
(2008)

Abstract

This book explains online social networks and how to use them to create career opportunities with tips on defining objectives and setting goals. ...

 

User managed trust in social networking - Comparing Facebook, MySpace and Linkedin

  [CiTO]
In Electronic Systems Technology (Wireless VITAE) (May 2009), pp. 427-431, doi:10.1109/wirelessvitae.2009.5172486
posted to socialnetworking by klaufer on 2011-05-26 07:15:07 ** along with 3 people Demeter lukehutton tnhh

Abstract

Social Networks is the highest growing web-application in terms of users. Different surveys show that users are most concerned with their privacy in respect to web-based social networks. Anyhow, uses ldquocompeterdquo in the number of ldquofriendsrdquo they can attach to their own profile. This means that the trust relations users are using to establish friends in the web applications becomes significantly different from the trust relations used in face-to-face meetings. This paper compares and discusses some of the existing self-management mechanisms ...

 

The Impact of Information Technology on Academic Scientists' Productivity and Collaboration Patterns

  [CiTO]
MANAGEMENT SCIENCE, Vol. 56, No. 9. (1 September 2010), pp. 1439-1461, doi:10.1287/mnsc.1100.1195
posted to socialnetworking by klaufer  on 2011-05-26 07:12:51 ** along with 5 people and 3 groups actant clewis508 derchao jago rrbarb Convention on Knowledge Commons Digital inclusion STS

Abstract

This study investigates the impact of information technology (IT) on productivity and collaboration patterns in academe. Our data combine information on the diffusion of two noteworthy innovations in IT--BITNET and the Domain Name System (DNS)--with career-history data on research-active life scientists. We analyzed a random sample of 3,114 research-active life scientists from 314 U.S. institutions over a 25-year period and find that the availability of BITNET on a scientist's campus has a positive effect on his or her productivity and collaborative ...

 

Staying connected: online education engagement and retention using educational technology tools.

  [CiTO]
Clinical laboratory science : journal of the American Society for Medical Technology, Vol. 23, No. 3 Suppl. (2010)

Abstract

The objective of this article is to inform educators about the use of currently available educational technology tools to promote student retention, engagement and interaction in online courses. Educational technology tools include content management systems, podcasts, video lecture capture technology and electronic discussion boards. Successful use of educational technology tools requires planning, organization and use of effective learning strategies. ...

 

Relationships and tasks in scientific research collaboration

  [CiTO]
Hum.-Comput. Interact., Vol. 3, No. 1. (1987), pp. 31-58, doi:10.1207/s15327051hci0301_3
posted to socialnetworking by klaufer on 2011-05-26 07:07:52 ** along with 2 people ajjps fluffels

Abstract

What are the requirements on computer- and telecommunications-based tools to aid groups in producing intellectual products? In this article we examine research collaborations as a particularly informative example of group work and propose a framework for describing research collaboration that should provide guidance to those developing technology to support collaborative work. The framework is based on 50 semistructured interviews with researchers in psychology, management science, and computer science. It focuses on the problems in forming and maintaining personal relationships and completing ...

 

Using Technology in Undergraduate Admission: A Student Perspective

  [CiTO]
Journal of College Admission (0 2010)
posted to socialnetworking by klaufer on 2011-05-26 07:06:35 ** along with 2 people freelatarion talarch

Abstract

The relationship that currently exists between undergraduate admission, technology and the Millennial generation continues to be an area of constant change. As technology trends come-and-go and resources continue to be limited, what are colleges and universities doing to ensure they are being as effective and efficient as possible when it comes to recruiting students through technological means or otherwise? Regardless, one thing remains certain: admission departments all over the country are actively engaged with the use of technology, yet few have ...

 

Why People Use Social Networking Sites Online Communities and Social Computing

  [CiTO]
In Online Communities and Social Computing , Vol. 5621 (2009), pp. 143-152, doi:10.1007/978-3-642-02774-1_16
posted to socialnetworking by klaufer  on 2011-05-26 07:04:17 ** along with 18 people bbzpda DanielToohey flloo isp Japen jbede002 lukehutton mezaradu rolandogmilian rrbarb savalls suzannevanstraaten thalvi tnhh tracyredwards w2opma webolu ypjones

Abstract

One of the recent popular social media platforms is the social networking site (SNS). Thus far, few previous studies have empirically investigated people’s motivations for SNS usage, especially not outside the U.S. This study combines a large-scale quantitative and qualitative research design, by asking 1,200 SNS users an open question regarding their reasons for using SNSs. An important conclusion drawn from a preliminary content analysis is that people often report many motivational reasons for using SNSs . The most important reason ...

 

What's inside the Cloud? An architectural map of the Cloud landscape

  [CiTO]
Software Engineering Challenges of Cloud Computing, ICSE Workshop on In Software Engineering Challenges of Cloud Computing, 2009. CLOUD &#039;09. ICSE Workshop on, Vol. 0 (May 2009), pp. 23-31, doi:10.1109/cloud.2009.5071529
posted to socialnetworking by klaufer  on 2011-05-26 07:02:35 **/Average rating 3.0 along with 42 people and 1 group _mkeller alimeh andreynikolaenko banescusebi chrisfaulk CoffeeCat dennis2008 doriekurtz dwei98 ekrsulov Fneesen gijza ginamurphy iadegesso jaredravetch jgallard jmlon karelvdv kelvinramires kevinpanuelos knwani labraha m_brugger mbateman mdecauwer mjaysule mtaifi ndjebessa nfernandez nhoussos nimis nurgada oorigbo pandriani polkarobot rhc Scis0000002 sempf ShantanuPal sumatheja tilljwinkler tnhh Cloud Computing Papers

Abstract

We propose an integrated Cloud computing stack architecture to serve as a reference point for future mash-ups and comparative studies. We also show how the existing Cloud landscape maps into this architecture and identify an infrastructure gap that we plan to address in future work. ...

 

Toward a Unified Ontology of Cloud Computing

  [CiTO]
In 2008 Grid Computing Environments Workshop (November 2008), pp. 1-10, doi:10.1109/gce.2008.4738443
posted to socialnetworking by klaufer  on 2011-05-26 07:00:48 ** along with 5 people aloga cabad davidlush idafensp Scis0000002

Abstract

Progress of research efforts in a novel technology is contingent on having a rigorous organization of its knowledge domain and a comprehensive understanding of all the relevant components of this technology and their relationships. Cloud computing is one contemporary technology in which the research community has recently embarked. Manifesting itself as the descendant of several other computing research areas such as service-oriented architecture, distributed and grid computing, and virtualization, cloud computing inherits their advancements and limitations. Towards the end-goal of a ...

 

Using Social Networking Technology to Enhance Learning in Higher Education: A Case Study Using Facebook

  [CiTO]
(January 2011), pp. 1-10, doi:10.1109/hicss.2011.479
posted to socialnetworking by klaufer  on 2011-05-26 06:56:44 ** along with 3 people davidallmandring mbel tnhh

Abstract

In this paper we explore the possibility of using Web 2.0 technology, specifically social networking technology, to support a community of practice in a graduate-level classroom setting in order to enhance learning. For our experiment, we utilized Facebook as a learning resource for an MIS course for learners to share prior knowledge and experience. We present the results of our five-month study, and found that Facebook provides an easy- to-use and familiar technology for learners to leverage social networking to share ...

 

Faceworking: exploring students' education-related use of Facebook

  [CiTO]
Learning, Media and Technology, Vol. 34, No. 2. (1 June 2009), pp. 157-174, doi:10.1080/17439880902923622
posted to socialnetworking by klaufer  on 2011-05-26 06:53:26 ** along with 11 people and 1 group aishawalker AJCann jennifermjones jrhode klumsden mallium Reuelgt rickl sarspri scouty_tam tnhh eLearning

Abstract

Social networking sites such as <i>Facebook</i> and <i>MySpace</i> have been subject to much recent debate within the educational community. Whilst growing numbers of educators celebrate the potential of social networking to (re)engage learners with their studies, others fear that such applications compromise and disrupt young people's engagement with traditional education provision. With these ongoing debates in mind, the current paper presents an in-depth qualitative analysis of the <i>Facebook</i> wall activity of 909 undergraduate students in a UK university. Analysis of these ...

 

The design of Cloudworks: Applying social networking practice to foster the exchange of learning and teaching ideas and designs

  [CiTO]
Computers & Education, Vol. 54, No. 3. (21 April 2010), pp. 679-692, doi:10.1016/j.compedu.2009.09.013
posted to socialnetworking by klaufer on 2011-05-26 06:52:10 ** along with 1 person dougclow

Abstract

This paper describes a new social networking site, Cloudworks, which aims to provide a dynamic environment for finding, sharing and discussing learning and teaching ideas and designs. The paper begins by discussing the mismatch between the potential application of technologies in education and their actual use in practice. It considers some of the reasons for this and suggests ways in which this gap might be addressed. It goes on to outline the vision behind the development of Cloudworks, the phases of ...

 

An application of the technology acceptance model to the level of Internet usage by older adults

  [CiTO]
Universal Access in the Information Society (16 February 2010), pp. 1-8, doi:10.1007/s10209-009-0178-8
posted to socialnetworking by klaufer on 2011-05-26 06:50:35 ** along with 1 person madderrabbit

Abstract

In this cross-sectional study, the principles of a technology acceptance model were used to identify variables related to the level of Internet usage by older adults. Community-dwelling older adults aged 60–88 years completed a postal questionnaire survey that elicited responses on the use of the Internet. Out of a sample of 592 older adults (236 males and 356 females), 50.7% used the Internet. A multiple linear regression analysis was carried out on the Internet users sample using the self-reported number of hours ...

 

Social Networking

  [CiTO]
Computer In Computer, Vol. 41, No. 2. (15 February 2008), pp. 97-100, doi:10.1109/mc.2008.61
posted to socialnetworking by klaufer  on 2011-05-26 06:45:59 ** along with 35 people and 3 groups bbzpda berndp blue-life123 fergus gcoulthard hectorcastro Iully izazueta kokunnom krisl krzstefaniak mechavarria mpopp netzwerkerin nliu82 ohjs pigironjoe rbudiu rocling rolandogmilian rrbarb Rsavi SanelaK savalls shinedighe skasey sudarshaniisc tadams2 tamoyer teresa1402 tkg4pitt tnhh webolu yiweicao ypjones complex networks Social Web UX research updates

Abstract

In the context of today's electronic media, social networking has come to mean individuals using the Internet and Web applications to communicate in previously impossible ways. This is largely the result of a culture-wide paradigm shift in the uses and possibilities of the Internet itself. The current Web is a much different entity than the Web of a decade ago. This new focus creates a riper breeding ground for social networking and collaboration. In an abstract sense, social networking is about ...

 

Findings on Facebook in Higher Education: A Comparison of College Faculty and Student Uses and Perceptions of Social Networking Sites

  [CiTO]
The Internet and Higher Education, Vol. 13, No. 3. (23 March 2010), pp. 134-140, doi:10.1016/j.iheduc.2010.03.002
posted to socialnetworking by klaufer  on 2011-05-26 06:45:17 ** along with 18 people and 1 group AnnalisaM atherleypatricia daikapan epdrntr fbr Gallegos505 isp jcantore1 jepcastel masmavituna mechavarria MiguelAngelLuna nlafferty ohjs pigironjoe simonr1000 tadams2 tnhh CENT-UJI

Abstract

Social Networking Sites (SNSs) such as Facebook are one of the latest examples of communications technologies that have been widely-adopted by students and, consequently, have the potential to become a valuable resource to support their educational communications and collaborations with faculty. However, faculty members have a track record of prohibiting classroom uses of technologies that are frequently used by students. To determine how likely higher education faculty are to use Facebook for either personal or educational purposes, higher education faculty (n = 62) ...

 

Educational use of social networking technology in higher education

  [CiTO]
Teaching in Higher Education, Vol. 15, No. 6. (2010), pp. 703-714, doi:10.1080/13562517.2010.507307
posted to socialnetworking by klaufer on 2011-05-26 06:35:38 ** along with 3 people jrhode rickl sarspri

Abstract

This study explored how social networking technology can be used to supplement face-to-face courses as a means of enhancing students' sense of community and, thus, to promote classroom communities of practice in the context of higher education. Data were collected from 67 students who enrolled in four face-to-face courses at two public universities in Taiwan. Findings indicated that the majority of participants developed strong feelings of social connectedness and expressed favorable feelings regarding their learning experiences in the classes where social ...

 

Integrating Social Networking Technologies in Education: A Case Study of a Formal Learning Environment

  [CiTO]
Advanced Learning Technologies, 2008. ICALT '08. Eighth IEEE International Conference on In Proc. Intl. Conf. on Advanced Learning Technologies (ICALT) (2008), pp. 529-533, doi:10.1109/icalt.2008.67
posted to socialnetworking by klaufer on 2011-05-26 06:19:42 ** along with 1 person Rsavi

Abstract

The concept of Internet-facilitated social networking is not new - we have evidence of the development of the concept and the technologies over decades. However, Web 2.0 technologies and the emergence of social networking sites has expanded accessibility and use beyond levels that may have been thought imaginable just two or three years ago. These developments have been accompanied with calls to integrate the new technologies and experiences of social networks within formal education. Yet, there is limited research on the ...

 

Grown Up Digital - How The Net Generation Is Changing Your World

  [CiTO]
(2009)
posted to socialnetworking by klaufer on 2011-05-26 06:15:50 * along with 1 person manseryvonne

Note (first note only)

Generation Z

 

Half & Half: Multiple Dispatch and Retroactive Abstraction for Java

  [CiTO]
No. OSU-CISRC-5/01-TR08. (March 2002)
posted to laufer-cs-luc-edu by klaufer on 2011-05-10 16:12:58 read along with 1 person julesal

Abstract

Software often goes through a variety of extensions during its lifetime: adding new fields or new variants to a data structure, retroactively creating new type abstractions, and adding new operations on a data structure. As characterized by the extensibility problem, it should be possible to apply any combination of these types of extensions in any order. Mainstream object-oriented languages, however, do not well support the latter two. This paper proposes two language mechanisms that facilitate extending existing type hierarchies: multimethod dispatch and retroactive abstraction. For these ...

 

Combining SOA and BPM Technologies for Cross-System Process Automation

  [CiTO]
In SEKE (2008), pp. 339-344

Abstract

This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. ...

 

Three Approaches to Transformational Programming -- A Comparative Survey

  [CiTO]
No. NYU-CS-TR 555. (April 1991)

Abstract

Transformational programming is a methodology that intends to formalize the development of programs from problem specifications. Given the recent effort towards the design of a common prototyping system (CPS) for the Ada programming language, transformation systems may be reconsidered as possible components of prototyping systems. This paper examines and evaluates three approaches to transformational programming: * The Munich CIP project (Computer-aided, Intuition-guided Programming) consists of a strongly typed, wide-spectrum language with user-defined algebraic types and a semi-automatic transformation system that requires user guidance. * By contrast, ...

 

Programming with Structures, Functions, and Objects

  [CiTO]
In Proc. XVII Latin American Informatics Conference (PANEL '91) (1991), pp. 333-352

Abstract

We describe program structuring mechanisms for integrating algebraic, functional and object-oriented programming in a single framework. Our language is a statically typed higher-order language with specifications, structures, types, and values, and with universal and existential abstraction over structures, types, and values. We show that existential types over structures generalize both the necessarily homogeneous type classes of Haskell and the necessarily heterogeneous object classes of object-oriented programming languages such as C++ or Eiffel. Following recent work on ML, we provide separate linguistic mechanisms for reusing specifications and structures. Subtyping ...

 

Type Classes are Signatures of Abstract Types

  [CiTO]
In Proc. Phoenix Seminar and Workshop on Declarative Programming (November 1991)

Abstract

We present an extension of Haskell's type class concept in which a type class is identified with the signature of an abstract type. As shown by Mitchell and Plotkin, abstract types can be expressed using existential quantification. Unlike in Mitchell and Plotkin's work, an abstract type does not come with one --- and only one --- implementation. Rather, any concrete type can be declared to be an implementation by a clause that corresponds to an instance declaration in Haskell. We introduce F-bounded existential quantification, ...

 

Polymorphic Type Inference and Abstract Data Types

  [CiTO]
(July 1992)

Abstract

Many statically-typed programming languages provide an abstract data type construct, such as the package in Ada, the cluster in CLU, and the module in Modula2. However, in most of these languages, instances of abstract data types are not first-class values. Thus they cannot be assigned to a variable, passed as a function parameter, or returned as a function result. The higher-order functional language ML has a strong and static type system with parametric polymorphism. In addition, ML provides type reconstruction and consequently does not require type declarations for identifiers. Although ...

Note (first note only)

Available as Technical Report 622, December 1992, from New York University, Department of Computer Science

 

An Extension of ML with First-Class Abstract Types

  [CiTO]
In Proc. ACM SIGPLAN Workshop on ML and its Applications (June 1992)

Abstract

This paper presents a semantic extension of ML, where the component types of a datatype may be existentially quantified. We show how datatypes over existential types add significant flexibility to the language without even changing ML syntax; in particular, we give examples demonstrating how we express * first-class abstract types, * multiple implementations of a given abstract type, * heterogeneous aggregates of different implementations of the same abstract type, and * dynamic dispatching of operations with respect to the implementation type. We have a deterministic Damas-Milner inference system ...

 

Self-Interpretation and Reflection in a Statically Typed Language

  [CiTO]
In Proc. OOPSLA Workshop on Reflection and Metalevel Architectures (October 1993)

Abstract

To our knowledge, we are the first to implement a fully metacircular interpreter for a statically typed, Turing-complete language. We argued that conventional statically typed object-oriented languages were not sufficient to guarantee well-typed expression syntax trees and described an alternative metalanguage based on F-bounded polymorphism and existential quantification. While such a language was not available at that time, we were now able to use a reasonably wide-spread `stock' functional language for our purposes. We demonstrate that each feature of the metalanguage, lazy evaluation, static typing, and systematic overloading, ...

 

Combining Type Classes and Existential Types

  [CiTO]
In Proc. Latin American Informatics Conf. (PANEL) (September 1994)

Note (first note only)

Preliminary version of JFP 1996 article.

 

A Framework for Higher-Order Functions in C++

  [CiTO]
In Proc. Conf. Object-Oriented Technologies (COOTS) (June 1995)

Abstract

C and C++ allow passing functions as arguments to other functions in the form of function pointers. However, since function pointers can refer only to existing functions declared at global or file scope, these function arguments cannot capture local environments. This leads to the common misconception that C and C++ do not support function closures. In fact, function closures can be modeled directly in C++ by enclosing a function inside an object such that the local environment is captured by data members of the object. This ...

 

Interactive Web Applications Based on Finite State Machines

  [CiTO]
In Proc. Symp. Information Systems Analysis and Synthesis (ISAS) (August 1995)

Abstract

Interactive applications on the World-Wide Web are supported by the CGI interface, which allows transfer ring information from the browser to programs invoked by the server. Information is obtained through fill-out forms embedded in documents written in the HTML language and rendered by the browser as collec tions of user interface objects. While the World-Wide Web is based on the stateless HTTP protocol, state can be simulated by encoding it in the information transmitted between browser and server. Many interactive applications have a finite number of states and perform ...

Note (first note only)

Invited paper

 

An Open Environment for Common Gateway Interface Programming

  [CiTO]
(March 1996)

Abstract

The World-Wide Web is a distributed hypermedia information network. Users navigate through this information in mainly static but context-sensitive ways with browsing tools. Browsers are client programs that run on the user's local machine, request information from server programs on remote machines, and display the information to the user. Documents for the World-Wide Web are usually written in the Hypertext Markup Language (HTML). Support for interactive applications on the World-Wide Web is provided by the Common Gateway Interface (CGI). This interface allows transferring information from the browser back to the ...

 

Safe Structural Conformance in Java

  [CiTO]
No. CSD-TR-96-077. (December 1996)

Note (first note only)

Preliminary version of Computer Journal 2000 article.

 

On the Interaction of Object-Oriented Design Patterns and Programming Languages

  [CiTO]
No. CSD-TR-96-020. (February 1996)

Abstract

Design patterns are distilled from many real systems to catalog common programming practice. We have analyzed several published design patterns and looked for patterns of working around constraints of the implementation language. Some object-oriented design patterns are distorted or overly complicated because of the lack of supporting language constructs or mechanisms. We lay a groundwork of general-purpose language constructs and mechanisms that, if provided by a statically typed, object-oriented language, would better support the implementation of design patterns and, thus, benefit the construction of many real systems. ...

 

Type Classes with Existential Types

  [CiTO]
Journal of Functional Programming, Vol. 6, No. 3. (May 1996), pp. 485-517, doi:10.1017/S0956796800001817

Abstract

We argue that the novel combination of type classes and existential types in a single language yields significant expressive power. We explore this combination in the context of higher-order functional languages with static typing, parametric polymorphism, algebraic data types and Hindley–Milner type inference. Adding existential types to an existing functional language that already features type classes requires only a minor syntactic extension. We first demonstrate how to provide existential quantification over type classes by extending the syntax of algebraic data type ...

 

Using Java in the Undergraduate Computer Science Curriculum

  [CiTO]
(March 1997)

Abstract

Since its initial release two years ago, the programming language Java has gained tremendous popularity and momentum. Java was introduced by Sun within the context of the recent growth of the World Wide Web chiefly as a technology for providing interactive web content. However, Java is also a general-purpose object-oriented programming language in the spectrum between two other popular object-oriented languages, C++ and Smalltalk. The proposed paper discusses past experiences and future plans for integrating Java into the undergraduate computer science curriculum. A major design objective for ...

 

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java

  [CiTO]
In Proc. USENIX Conference on Object-Oriented Technologies and Systems (COOTS) (April 1998)

Abstract

We describe the interaction of objects and concurrency in the design of Triveni, a framework for concurrent programming with threads and events. Triveni has been realized as JavaTriveni, a collection of tools for the Java programming language. We describe our experiences in JavaTriveni with an example from telecommunication. ...

 

Interaction, Concurrency, and OOP in the Curriculum: a Sophomore Course

  [CiTO]
In Proc. OOPSLA 1998 Educators' Symposium (October 1998)

Abstract

We argue that a computer-science curriculum should introduce the principles of concurrent programming in an integrated, coherent, and application-independent fashion early in the major. We have incorporated current research into our curriculum. We describe a sophomore-level course on the fundamentals of concurrent and interactive programming that is the fruit of this work. We offered this course to about 60 students in Fall 1997 and Spring 1998. Information regarding the software frameworks for the programming assignments can be obtained by contacting the authors. ...

 

The Semantics of Triveni: A Process-Algebraic API for Threads + Events

  [CiTO]
Electronic Notes in Theoretical Computer Science, Vol. 14 (2000)

Abstract

This paper describes compositional semantics (operational, denotational and logical) for a process algebra enhanced with input/output actions and preemption combinators, in the presence of fairness. The context of this paper is Triveni, a process-algebra-based design methodology that combines threads and events in the context of object-oriented programming. Triveni has been realized as an Application Programmer Interface in the Java programming language. The semantics described in this paper forms the theoretical basis of the Triveni programming language and environment. ...

 

Sisl: several interfaces, single logic

  [CiTO]
International Journal of Speech Technology, Vol. 3, No. 2. (June 2000), pp. 91-106

Abstract

Modern interactive services such as information and e-commerce services are becoming increasingly more flexible in the types of user interfaces they support. These interfaces incorporate automatic speech recognition and natural language understanding, and include graphical user interfaces on the desktop and web-based interfaces using applets and HTML forms. To what extent can the user interface software be decoupled from the service logic software (the code that defines the essential function of a service)? Decoupling of user interface from service logic directly impacts the flexibility of services, or, how easy they ...

Note (first note only)

Kluwer Academic Publishers

 

A Constraint-Based Framework for Prototyping Distributed Virtual Applications

  [CiTO]
In Proc. Principles and Practice of Constraint Programming (PPCP 2000) (September 2000)

Abstract

Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must support multiple types of interfaces for accessing the same data. These include automatic speech-recognition interfaces where inputs may be provided in any order by users of the service. We study in this paper how to systematically test event-driven applications developed using such languages. We show how such applications can be tested automatically, without the need for any manually-written test cases, and ...

Note: You may cite this page as: http://www.citeulike.org/user/klaufer/publications/order/year,,

Result page: 1 2 Next

Create CiTO

Create a CiTO relationship by dragging the [CiTO] link onto another article.

Alternatively, drag two articles into the two boxes below. This is useful when the two articles are not on the same page - the articles will be remembered between pages.

This article...

...this one

Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.