| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Shijue Zheng, Zhenhua Zheng |
Design and Implementation of a Mobile Management System for Campus Server.  |
CCTA  |
2007 |
DBLP DOI BibTeX RDF |
mobile management system, campus server, WAP, Microsoft .NET |
| 2 | Narayan Veeramani |
Smart Clients versus Web Forms. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
smart clients, software technologies, web forms, Microsoft .NET |
| 2 | Abdelkarim Erradi, Piyush Maheshwari, Vladimir Tosic |
Policy-Driven Middleware for Self-adaptation of Web Services Compositions. |
Middleware |
2006 |
DBLP DOI BibTeX RDF |
Web services middleware, policy-based management and adaptation, Web services composition, Microsoft .NET |
| 2 | Alexandros Zerzelidis, Andy J. Wellings |
Requirements for a real-time .NET framework. |
SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
NET Framework, architecture-neutral real-time systems, code portability, programming language integration, Microsoft .NET |
| 2 | Haoyang Che |
Review of "Object-Oriented Programming with Visual Basic.NET by Michael McMillan"; Cambridge University Press: Cambridge, 2004, 0-521-53983-8. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
Visual Basic, Microsoft .NET |
| 2 | Andreas Rasche, Andreas Polze |
Configuration and Dynamic Reconfiguration of Component-Based Applications with Microsoft .NET. (PDF / PS) |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Richard A. Kilgore |
Open source initiatives for simulation software: multi-language, open-source modeling using the microsoft .NET architecture. |
Winter Simulation Conference |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Villar, James Scott, Steve Hodges |
Prototyping with microsoft .net gadgeteer. |
Tangible and Embedded Interaction |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Canton |
The presence table: a reactive surface for ambient connection. |
Tangible and Embedded Interaction |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Fähndrich |
Language-agnostic specification and verification: invited talk. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
specifications, static analysis, abstract interpretation, contracts, net |
| 1 | Vipin Saxena, Deepak Arora |
Performance evaluation for object oriented software systems. |
ACM SIGSOFT Software Engineering Notes |
2009 |
DBLP DOI BibTeX RDF |
Pentium D, core 2 duo, visual C#, UML class diagram, UML sequence diagram, visual C++ |
| 1 | Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi |
Raising the Abstraction of Domain-Specific Model Translator Development. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob N. Allen, Hoda S. Abdel-Aty-Zohdy, Robert L. Ewing |
Agile hardware development with rapid hardware definition language. |
EIT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Nasrat Haidar, Ali E. Abdallah |
Abstractions of Web Services. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gintautas Daunys, Vidas Lauruska |
Sonification System of Maps for Blind - Alternative View. |
HCI |
2009 |
DBLP DOI BibTeX RDF |
svg language, map, Blind, sonification |
| 1 | Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys |
MoonWalker: Verification of .NET Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengyun Chu |
Introduction to Microsoft .NET Security. |
IEEE Security & Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Naugler |
Review of "Pro WPF in C# 2008: Windows Presentation Foundation with .NET 3.5 (2nd ed.), " Apress, 2008, ISBN 1590599551. |
ACM Queue |
2008 |
DBLP DOI BibTeX RDF |
C#, Microsoft .NET |
| 1 | Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero |
From programming to modeling: our experience with a distributed software engineering course. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
education, component-based software development, uml, virtual university, odp, distributed software engineering |
| 1 | Adityanand Pasumarthi |
Quota queue: a new queue data structure that provides prioritized, predictable, guaranteed and fair dequeue mechanism. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
item queue, quota run, quota value, data structure, predictability, fairness, queue, priority, distribution model, guarantee |
| 1 | Fu Qian, Ding Nan |
An Innovative Model of Mobile Education Application - The Research and Implement of "Palmtop Learning Mate". |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huazhu Song, Bin Zhao, You Zhou, Yi Lu, Wang Meng |
Fast Design and Construction for Network Application Solution Based on .Net 3.5 Framework. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengdong Zhu, Xuehan Dong, Yahong Hu, Zengzhi Li |
Selection Mechanism of Composite Web Services Based on Usability. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengdong Zhu, Yahong Hu, Xuehan Dong, Zengzhi Li |
Discovery Mechanism Based on the Usability of the Semantic Web Service. |
FSKD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Lechner, Ruth Breu |
Workflow Inspector A Test Tool for Microsoft Workflow Foundation. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Testing, Workflow |
| 1 | Yan Liu, Simon Truong, Shiping Chen, Liming Zhu |
Composing Adaptive Web Services on COTS Middleware. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cornero, Roberto Costa, Ricardo Fernández Pascual, Andrea C. Ornstein, Erven Rohou |
An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems. |
HiPEAC |
2008 |
DBLP DOI BibTeX RDF |
Common Language Infrastructure, embedded systems, deployment, GCC |
| 1 | Glenn S. Wasson, Norm Beekwilder, David Del Vecchio, Mark M. Morgan, Marty Humphrey |
Resource-oriented Computing: Design, Implementation, and Evaluation of WSRF.NET. |
J. Grid Comput. |
2008 |
DBLP DOI BibTeX RDF |
stateful services, web services, Grid computing, middleware, WSRF |
| 1 | André Wilson Brotto Furtado, André L. M. Santos, Geber L. Ramalho |
Computer games software factory and edutainment platform for microsoft .NET. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelkarim Erradi, Vladimir Tosic, Piyush Maheshwari |
MASC - .NET-Based Middleware for Adaptive Composite Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Anindya Banerjee, David A. Naumann |
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lungpin Yeh, Juei-Ting Sun, Sheng-Kai Hung, Yarsun Hsu |
A Windows-Based Parallel File System. |
HPCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jongbae Moon, Hyungil Park, Myungho Kim |
Reliable and Scalable State Management Using Migration of State Information in Web Services. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
web service, migration, WSRF, state management |
| 1 | Wolfgang Straßer, Doris Siegl, Kamil Önder, Johann W. Bauer |
InSilico Proteomics System: Integration and Application of Protein and Protein-Protein Interaction Data using Microsoft .NET. |
J. Integrative Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. North, Nicholson T. Collier, Jerry R. Vos |
Experiences creating three implementations of the repast agent modeling toolkit. |
ACM Trans. Model. Comput. Simul. |
2006 |
DBLP DOI BibTeX RDF |
Java, Python, Microsoft .NET, Agent-based Modeling and Simulation |
| 1 | Melissa C. Stange |
Review of "Pro .NET 1.1 Remoting, Reflection, and Threading by David Curran, Fabio Ferracchiati, Syed Gilani, et al., " Apress, 2005, ISBN: 1590594525. |
ACM Queue |
2006 |
DBLP DOI BibTeX RDF |
Microsoft .NET |
| 1 | Luís Assunção, António Luís Osório |
Teaching web services using .NET platform. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
interface description language (WSDL), simple object access protocol (SOAP), web services interoperability (WS-I), web services |
| 1 | Xin Wang, Xiaojun Shen, Nicolas D. Georganas |
A Fuzzy Logic Based Intelligent Negotiation Agent (FINA) in Ecommerce. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Poshtkohi, Ali Haj Abutalebi, Leila Mahmoudi Ayough, Shaahin Hessabi |
DotGrid: A .NET-based Infrastructure for Global Grid Computing. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Springer |
A Component-based Meta-Model for Context-Aware, Distributed Adaptation Graphs. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Lu, Tahir Naeem, John B. Stav |
A Distributed Information System for Healthcare Web Services. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schläger, Manuel Sojer, Björn Muschall, Günther Pernul |
Attribute-Based Authentication and Authorisation Infrastructures for E-Commerce Providers. |
EC-Web |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicu G. Fruja |
Type Safety of Generics for the .NET Common Language Runtime. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Wohlgemuth, Günter Müller |
Privacy with Delegation of Rights by Identity Management. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William Martin Barrett Jr., Jun Yang |
Development of a chemical process modeling environment based on CAPE-OPEN interface standards and the Microsoft .NET framework. |
Computers & Chemical Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Melnik, Zornitza Genova Prodanoff |
Microsoft .NET and Security Provided by High-Level Internet Protocols. |
PDPTA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luis Filipe Andrade, João Gouveia, Miguel Antunes, Mohammad El-Ramly, Georgios Koutsoukos |
Forms2Net - Migrating Oracle Forms to Microsoft .NET. |
GTTSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Review of "Expert .NET Programming by Simon Robinson". |
ACM Queue |
2005 |
DBLP DOI BibTeX RDF |
Visual Basic, Microsoft .NET |
| 1 | Borislav Nikolik |
Convergence debugging. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence |
| 1 | Richard Conn |
A brief dive into .NET. |
ACM Southeast Regional Conference |
2005 |
DBLP DOI BibTeX RDF |
.NET Compact Framework, .NET Framework, common language runtime (CLR), foundation class library (FxCL), visual studio 2005, visual studio team system, eXtensible Markup Language (XML), software engineering, systems engineering, integrated development environment (IDE), NET |
| 1 | Hang Wu |
Pure object-based domain model for enterprise systems. |
ACM Southeast Regional Conference |
2005 |
DBLP DOI BibTeX RDF |
NEO, Net-PI, architecture, domain model, layer, dataset |
| 1 | Mario A. Bochicchio, Nicola Fiore |
Supporting the Conceptual Modeling of Web Applications: The MODE Project. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wong Kok Seng, Sellappan Palaniappan, Nor Adnan Yahaya |
A Framework for Collaborative Graphical Based Design Environments. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Iman Poernomo, Jane Jayaputera, Heinz W. Schmidt |
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Feng, Lingling Cui, Glenn S. Wasson, Marty Humphrey |
Toward seamless grid data access: design and implementation of GridFTP on .NET. |
GRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Veiga, Paulo Ferreira |
Asynchronous Complete Distributed Garbage Collection. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn S. Wasson, Marty Humphrey |
Exploiting WSRF and WSRF.NET for Remote Job Execution in Grid Environments. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | He Guo, Chunyan Guo, Feng Chen, Hongji Yang |
Wrapping Client-Server Application to Web Services for Internet Computing. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin |
A Schedulable Garbage Collection for Embedded Applications in CLI. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar |
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arumugam Paventhan, Kenji Takeda |
MyGridFTP: A Zero-Deployment GridFTP Client Using the .NET Framework. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James V. S. Watson, Sang-Min Park, Marty Humphrey |
Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Chan, Iman Poernomo, Heinz W. Schmidt, Jane Jayaputera |
A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Vokác, Jens M. Glattetre |
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application - Experiences and Challenges. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wendy L. Currie, Xinkun Wang, Vishanth Weerakkody |
Developing Web services using the Microsoft.Net platform: technical and business challenges. |
J. Enterprise Inf. Management |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell E. McMahon |
How can you teach what you don't know?: a case study of learning and teaching microsoft .NET framework and C#. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
Perry levels, teaching challenges, information technology education, C#, NET |
| 1 | Martin Fowler, Don Box, Anders Hejlsberg, Alan Knight, Rob J. High, John Crupi |
The great J2EE vs. microsoft.NET shootout. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
J2EE, NET |
| 1 | Giuliano Mega, Fabio Kon |
Debugging distributed object applications with the Eclipse platform. |
ETX |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marty A. Humphrey, Glenn S. Wasson, Mark M. Morgan, Norm Beekwilder |
An Early Evaluation of WSRF and WS-Notification via WSRF.NET. |
GRID |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, Marty Humphrey |
WS-ResourceFramework on .NET. |
HPDC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarath Indrakanti, Vijay Varadharajan, Michael Hitchens |
Authorization Service for Web Services and its Implementation. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
Security, Web Services, Access Control, Authorization |
| 1 | Evi Syukur, Dominic Cooney, Seng Wai Loke, Peter Stañski |
Hanging Services: An Investigation of Context-Sensitivity and Mobile Code for Localised Services. |
Mobile Data Management |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Eisenbach, Dilek Kayhan, Chris Sadler |
Keeping Control of Reusable Components. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Beibei Li, Jiajin Le |
Application of Web Service in Web Mining. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert DeLine, Manuel Fähndrich |
Typestates for Objects. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Tröger, Martin von Löwis, Andreas Polze |
The Grid-Occam Project. |
GSEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Oppliger |
Microsoft .NET Passport: A Security Analysis. |
IEEE Computer |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinkun Wang |
Challenges to Adopt Web Services Architecture With Microsoft .Net Platform Technology Modelling Web Services Architecture. |
ICEIS Doctoral Consortium |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson |
Multilanguage programming with ada in the .Net environment. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
A#, microsoft .NET environment, multilanguage programming, Ada 95 |
| 1 | Caspar Boekhoudt |
The Big Bang Theory of IDEs. |
ACM Queue |
2003 |
DBLP DOI BibTeX RDF |
Microsoft .NET, Visual C++ |
| 1 | Alexander Wolfe |
Toolkit: Microsoft's Compact Framework Targets Smart Devices. |
ACM Queue |
2003 |
DBLP DOI BibTeX RDF |
C#, Microsoft .NET, Visual C++ |
| 1 | Annya Réquilé-Romanczuk, Christine Mingins, Brian Yap, Olivier Constant |
LEOPARD: a .net based agent architecture. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
experimental tool, multi-agents platform, design, implementation, C#, net |
| 1 | Siti Hafizah Ab Hamid, Tan Yoke Pei, Nazean Jomhari |
Object oriented analysis and UML design in the development of accommodation services system. |
ISICT |
2003 |
DBLP DOI BibTeX RDF |
UML design, accommodation services system, object-oriented analysis |
| 1 | Jennifer Hamilton |
Language integration in the common language runtime. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
common type system, language interoperability, metadata, virtual machine, exception handling, intermediate language |
| 1 | Marjan Hericko, Matjaz B. Juric, Ivan Rozman, Simon Beloglavec, Ales Zivkovic |
Object serialization analysis and comparison in Java and .NET. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
Java, XML, NET, Serialization, Binary |
| 1 | Francisco Ortín Soler, Juan Manuel Cueva Lovelle, Ana Belén Martínez Prieto |
The reflective nitrO abstract machine. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
adaptability, virtual machine, reflection, heterogeneously, extensibility, abstract machine |
| 1 | Thomas Seidmann |
Distributed Shared Memory Using The .NET Framework. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
Object-based distributed shared memory, .NET Framework, .NET Remoting, IP multicasting, object replication, causal consistency |
| 1 | Toshihiko Koju, Shingo Takada, Norihisa Doi |
Regression Test Selection based on Intermediate Code for Virtual Machines. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Wolfram Schulte, Nikolai Tillmann |
Using AsmL for Runtime Verification. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov |
Partial Evaluation for Common Intermediate Language. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages |
| 1 | Qianni Deng, Xinda Lu |
GSF: A Problems Solving Environment Supporting Multi-models Parallel Grid Programming. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Web Service, Grid computing, Volunteer computing, parallel programming paradigm |
| 1 | Oliver Andre Hoppe |
Security architecture of the Microsoft .NET framework. |
ISSA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries |
Weaving Ada 95 into the .net environment. |
SIGAda |
2002 |
DBLP DOI BibTeX RDF |
Microsoft .Net environment, common language runtime, Ada 95, just-in-time compiling |
| 1 | Stephen Drape, Oege de Moor, Ganesh Sittampalam |
Transforming the .NET intermediate language using path logic programming. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming |
| 1 | Roseann Krane, Alfred Thompson, Harriette Kisilinsky, Pat Phillips |
Using Visual Studio.Net in the classroom. |
SIGCSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Kilgore |
Web-based simulation 3: simulation web services with .Net technologies. |
Winter Simulation Conference |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fergus Henderson, Zoltan Somogyi |
Compiling Mercury to High-Level C Code. |
CC |
2002 |
DBLP DOI BibTeX RDF |
programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury |
| 1 | David Abramson, Greg Watson, Phu Dung Le |
Guard: A Tool for Migrating Scientific Applications to the .NET Framework. |
International Conference on Computational Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Kennedy, Don Syme |
Design and Implementation of Generics for the .NET Common Language Runtime. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Don Syme |
Typing a multi-language intermediate code. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")