Martín Abadi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta programming

A Program Suite for Distributed Simulation of Networks in Multi-core EnvironmentsLukasz Chrost, Agnieszka Brachman, Andrzej Chydzinski. icn 2009: 6-11 [doi]

Efficient algorithms for constructing broadcast disks programs in asymmetric communication environmentsEleftherios Tiakas, Stefanos Ougiaroglou, Petros Nicopolitidis. telsys, 41(3):185-209, 2009. [doi]

Comparison of the effects of professional and pedagogical program development environments on novice programmersDieter Vogts, André P. Calitz, Jéan H. Greyling. saicsit 2008: 286-95 [doi]

Efficient broadcast disks program construction in asymmetric communication environmentsEletherios Tiakas, Stefanos Ougiaroglou, Petros Nicopolitidis. mswim 2007: 279-283 [doi]

A mathematical programming-based scheduling framework for multitasking environmentsShakib Shakeri, Rasaratnam Logendran. eor, 176(1):193-209, 2007. [doi]

Productivity and Performance in Parallel Programming Environments using a novel Virtual Machine FrameworkRaja Neogi. icpads 2006: 485-494 [doi]

Agent Modelling for CSCL Environments using Answer Sets ProgrammingGerardo Ayala, Magdalena Ortiz, Mauricio Osorio. enc 2005: 214-221 [doi]

9th International Workshop on High-Level Programming Models and Supportive Environments (HIPS 2004), 26 April 2004, Santa Fe, NM, USAIEEE Computer Society, 2004.

A Logic of Object-Oriented ProgramsMartín Abadi, K. Rustan M. Leino. BIRTHDAY 2003: 11-41 [doi]

Programmable Agent Perception in Intelligent Virtual EnvironmentsSpyros Vosinakis, Themis Panayiotopoulos. iva 2003: 202-206 [doi]

SpatialAgents: integrating user mobility and program mobility in ubiquitous computing environmentsIchiro Satoh. wicomm, 3(4):411-423, 2003. [doi]

A Three-Dimensional Visualization of Communications in Distributed Program EnvironmentsMariko Sasakura, Susumu Yamasaki. IV 2003: 132-137 [doi]

On Programming Models for MobilityGérard Boudol. ictcs 2003: 22 [doi]

Eighth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 03), April 22-22, 2003, Nice, FranceIEEE Computer Society, 2003.

Value withdrawal explanations: a theoretical tool for programming environmentsWilly Lesaint. lpe 2002: 17-30 [doi]

Programming High Performance Applications in Grid EnvironmentsDomenico Laforenza. pvm 2001: 8-9 [doi]

A cost-effective programmable environment for developing environmental decision support systemsR. Paggio, Genadi Agre, Christo Dichev, Gábor Umann, T. Rozman, L. Batachia, M. Stocchero. envsoft, 14(5):367-382, 1999.

SMLib: A Toolkit for Shared Memory Programming in Heterogeneous EnvironmentsHong H. Ong, Paul S. Wang. pdpta 1999: 2055-2058

3rd International Workshop on High-Level Programming Models and Supportive Environments (HIPS 98), 30 March - 1 April 1998, Orlando, FL, USAIEEE Computer Society, 1998.

Visual Environments for Designing Sequence Control Program with AI PlanningYasuo Namioka, Hiroyuki Mizutani. vl 1997: 434-441

1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS 97), 1 April 1997, Geneva, Switzerland1997.

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

Specifying QoS for Multimedia Communications within Distributed Programming EnvironmentsDan G. Waddington, Geoff Coulson, David Hutchison. cost 1996: 75-103

A Semantic Model of Program FaultsA. Jefferson Offutt, Jane Huffman Hayes. ISSTA 1996: 195-200 [doi]

The Oz Programming ModelGert Smolka. jelia 1996: 251

META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis SystemsMichael R. Lowry, Jeffrey Van Baalen. jckbse 1995: 2-10

The Oz Programming ModelGert Smolka. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Volume 1000 of Lecture Notes in Computer Science, pages 324-343, Springer, 1995.

Hypermedia Environments for Learning to ProgramTom Boyle, Martyn Davies. mhvr 1996: 216-229

The CRAFT Fortran Programming ModelDouglas M. Pase, Tom MacDonald, Andrew Meltzer. sp, 3(3):227-253, 1994. [doi]

::::ANDES:::::::*:::: Migrating Performance Metrics for Parallel Programs to Distributed EnvironmentsAngelo Chirico, Emely Arráiz. apdc 1994: 331-332

LINDA and PVM: A Comparison Between Two Environments for Parallel ProgrammingAlfonso Matrone, Pasquale Schiano, Vittorio Puoti. pc, 19(8):949-957, 1993.

Programming Tools for Distributed Multiprocessor Computing EnvironmentsThomas Bemmerl, Bernhard Ries. ijhsc, 5(4):595-615, 1993. [doi]

Programming Environments for Parallel Computing, Proceedings of the IFIP WG 10.3 Workshop on Programming Environments for Parallel Computing, Edinburgh, Scotland, 6-8 April, 1992Nigel P. Topham, Roland N. Ibbett, Thomas Bemmerl, editors, Volume A-11 of IFIP Transactions, North-Holland, 1992.

Visual Tools for Generating Iconic Programming EnvironmentsDavid W. McIntyre, Ephraim P. Glinert. vl 1992: 162-168 [doi]

Programming Environments for High-Level Scientific Problem Solving, Proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991P. W. Gaffney, Elias N. Houstis, editors, Volume A-2 of IFIP Transactions, North-Holland, 1992.

ALADIN: A Scanner Generator for Incremental Programming EnvironmentsBernd Fischer, Carsten Hammer, Werner Struckmann. SPE, 22(11):1011-1025, 1992.

An Axiomatic Model for Program ComplexityMarvin V. Zelkowitz. Dagstuhl 1993: 133-136

The RP3 program visualization environmentDouglas N. Kimelman, Ton A. Ngo. ibmrd, 35(5):635-652, 1991.

A Tool Integration Facility for Programming EnvironmentsDavid Jablonowski, Vincent A. Guarna Jr.. saicsit 1990: 162-170

A Program Understanding Support EnvironmentLinore Cleveland. IBMSJ, 28(2):324-344, 1989.

Launching a Successful CPME Program In a Multi-Vendor EnvironmentRoger G. Ruckert, John D. Dean. sigops, 21(1):39-48, 1987.

Advanced Programming Environments, Proceedings of an International Workshop, Trondheim, Norway, June 16-18, 1986Reidar Conradi, Tor Didriksen, Dag H. Wanvik, editors, Volume 244 of Lecture Notes in Computer Science, Springer, 1986.

Towards Monolingual Programming EnvironmentsJan Heering, Paul Klint. TOPLAS, 7(2):183-213, 1985. [doi]

Programming environments for distributed applications and communicationsAndrew Herbert. sigopsE 1985: 31-35 [doi]

The importance of Ada programming support environmentsThomas A. Standish. afips 1982: 333-339 [doi]

Transfer of Programs from Development to Runtime EnvironmentsDan Strömberg, Peter Fritzson. bit, 20(4):434-442, 1980.

Modifications of the Program Scheme ModelElaine J. Weyuker. jcss, 18(3):281-293, 1979.

Program Restructuring Algorithms for Global LRU EnvironmentsDomenico Ferrari, Makoto Kobayashi. icsym 1977: 277-283

A Decomposable Model of Program Paging BehaviourPierre-Jacques Courtois, Hendrik Vantilborgh. ACTA, 6:251-275, 1976.

Tailoring Programs to Models of Program BehaviorDomenico Ferrari. ibmrd, 19(3):244-251, 1975.

runs on WebDSL