Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Algebras and Languages for Molecular ProgrammingLuca Cardelli. uc 2010: 2 [doi]

Augmented Lagrangians in semi-infinite programmingJan-J. Rückmann, Alexander Shapiro. mp, 116(1-2):499-512, 2009. [doi]

High-level Programming Support for Robust Pervasive Computing ApplicationsWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall. percom 2008: 252-255 [doi]

Quadratic convex reformulations for quadratic 0-1 programmingMarie-Christine Plateau. 4or, 6(2):187-190, 2008. [doi]

BSGP: bulk-synchronous GPU programmingtog, 27(3):19, 2008. [doi]

A trust region SQP algorithm for mixed-integer nonlinear programmingOliver Exler, Klaus Schittkowski. ol, 1(3):269-280, 2007. [doi]

An improved linearization strategy for zero-one quadratic programming problemsHanif D. Sherali, Jonathan Cole Smith. ol, 1(1):33-47, 2007. [doi]

Numerical solution for linear and quadratic programming problems using a recurrent neural networkA. Malek, M. Alipour. amc, 192(1):27-39, 2007. [doi]

IconicLisp: A Visual Lisp ProgrammingMuhammed S. Al-Mulhem. serp 2007: 701-703

Project prioritization under policy restrictions. A combination of MCDA with 0-1 programmingGeorge Mavrotas, Danae Diakoulaki, Y. Caloghirou. eor, 171(1):296-308, 2006. [doi]

Transitions in programming models: 2Luca Cardelli. ICSE 2005: 2 [doi]

Semidefinite programming bounds on the probability of error of binary communication systems with inexactly known intersymbol interferenceBing Hwa Cheng, Lieven Vandenberghe, Kung Yao. TIT, 51(8):2951-2954, 2005. [doi]

Another person s eye gaze as a cue in solving programming problemsRandy Stein, Susan Brennan. icmi 2004: 9-15 [doi]

ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, ProceedingsLuca Cardelli, editor, Volume 2743 of Lecture Notes in Computer Science, Springer, 2003.

Towards High-Level Programming Support for Scientific Computing on ClustersHans P. Zima. cluster 2001: 193 [doi]

Towards an Interactive Programming TutorPaula Roberts, Alan Mullally. webnet 2001: 1049-1050

Programming a Distributed Agent Society with COUGAARD. Moore. TOOLS 2001: 358 [doi]

Graphics Libraries for Windows ProgrammingM. Carmen Juan Lizandra. crossroads, 6(4), 2000. [doi]

Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, ProceedingsHenri E. Bal, Boumediene Belkhouche, Luca Cardelli, editors, Volume 1686 of Lecture Notes in Computer Science, Springer, 1999.

Cooperative research in underwater robot mission-level programming methodologiesÈve Coste-Manière, Howard H. Wang, Stephen M. Rock, Vincent Rigaud, Alexis Peuch, Michel Perrier. ijsysc, 29(10):1099-1110, 1998. [doi]

Type SystemsLuca Cardelli. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2208-2236, CRC Press, 1997.

Pipelined programming in PVMGabriella Dodero, R. Valia. jsa, 43(1-5):135-141, 1997.

Introduction of a distance cut-off into structural alignment by the double dynamic programming algorithmHiroyuki Toh. bioinformatics, 13(4):387-396, 1997.

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

Reliable Interactive Programming with ModulesSho-Huan Simon Tung, R. Kent Dybvig. lisp, 9(4):343-358, 1996.

1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995María Alpuente, Maria I. Sessa, editors, 1995.

Extensible syntax with lexical scopingLuca Cardelli, Florian Matthes, Martín Abadi. SRC Research Report 121, 1994. [doi]

Categories, Relations and Dynamic ProgrammingOege de Moor. mscs, 4(1):33-69, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

A tutorial introduction to grammatical programmingChristopher N. Carlson. ifip5-2 1994: 73-84

Extensible Grammars for Language SpecializationLuca Cardelli, Florian Matthes, Martín Abadi. DBPL 1994: 11-31 [doi]

From Dynamic Programming to Greedy AlgorithmsRichard S. Bird, Oege de Moor. ifip2-1 1993: 43-61

ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, ProceedingsBernd Krieg-Brückner, editor, Volume 582 of Lecture Notes in Computer Science, Springer, 1992.

Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991John Darlington, Roland Dietrich, editors, Workshops in Computing, Springer, 1992.

Trends in robot kinematics, dynamics, control, sensing, programming, and simulationMohammed Jamshidi, Clément M. Gosselin. ras, 9(4):199-200, 1992. [doi]

ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, ProceedingsNeil D. Jones, editor, Volume 432 of Lecture Notes in Computer Science, Springer, 1990.

Managing programming productivityD. Ross Jeffery, M. J. Lawrence. jss, 5(1):49-58, 1985. [doi]

Improved Algorithms for Integer Programming and Related Lattice ProblemsRavi Kannan. stoc 1983: 193-206

comments on Concepts and Notations for Concurrent Programming Surveyors Forum. ACM Comput. Surv., 15(4):375-377, 1983.

The Psychological Study of ProgrammingB. A. Sheil. ACM Comput. Surv., 13(1):101-120, 1981.

International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980Bernard Robinet, editor, Volume 83 of Lecture Notes in Computer Science, Springer, 1980.

An Inter-Organizational Comparison of Programming ProductivityD. Ross Jeffery, M. J. Lawrence. ICSE 1979: 369-377

Bicriterion linear programmingPakorn Adulbhan, Mario T. Tabucanon. cor, 4(2):147-153, 1977. [doi]

Minimal Representations of Some Classes of Dynamic ProgrammingToshihide Ibaraki. iandc, 27(4):289-328, April 1975.

Programming and Documenting Software ProjectsP. J. Brown. ACM Comput. Surv., 6(4):213-220, 1974.

Concurrent Programming ConceptsPer Brinch Hansen. ACM Comput. Surv., 5(4):223-245, 1973.

An interactive display for approximation by linear programmingPaul S. LaFata, J. Ben Rosen. CACM, 13(11):651-659, 1970. [doi]

A comparison of the primal-simplex and primal-dual algorithms for linear programmingR. K. Mueller, L. Cooper. CACM, 8(11):682-686, 1965. [doi]

Micro-ProgrammingRobert J. Mercer. JACM, 4(2):157-171, 1957. [doi]

runs on WebDSL