Travelled to:1 × Germany
9 × USA
Collaborated with:∅ B.S.Fagin J.W.Humphries R.E.Sward L.C.B.III J.A.H.Jr. J.C.Giordano P.Maes A.Rogers T.A.Wilson D.S.Gibson
Talks about:ada (8) tool (3) softwar (2) environ (2) visual (2) case (2) net (2) gui (2) multilanguag (1) implement (1)
Person: Martin C. Carlisle
DBLP: Carlisle:Martin_C=
Contributed to:
2013
201120072006
200620032002200119991998
1995Wrote 13 papers:
- AdaEurope-2013-FaginC #case study #reliability
- Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.
- SIGAda-2011-Carlisle #ada #why
- Why i came back to Ada (MCC), pp. 37–38.
- SIGAda-2007-CarlisleB #ada #c #network
- Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
- SIGAda-2006-Carlisle #ada #automation #generative #object-oriented #parsing #using
- Automatic OO parser generation using visitors for Ada 2005 (MCC), pp. 3–8.
- SIGAda-2006-CarlisleH #ada #visual notation
- Integrating Ada 2005 into visual studio 2005 (MCC, JAHJ), pp. 15–20.
- SIGITE-2006-GiordanoC #education #effectiveness #towards #visualisation
- Toward a more effective visualization tool to teach novice programmers (JCG, MCC), pp. 115–122.
- SIGAda-2003-HumphriesCW #ada #dot-net #multi #programming
- Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.
- SIGAda-2003-SwardCFG #ada
- The case for Ada at the USAF academy (RES, MCC, BSF, DSG), pp. 68–70.
- SIGAda-2002-CarlisleSH #ada #dot-net #weaving
- Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.
- SIGAda-2001-Carlisle #ada
- Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.
- SIGAda-1999-Carlisle #development #implementation #independence #user interface
- A truly implementation independent GUI development tool (MCC), pp. 47–52.
- SIGAda-1998-CarlisleM #agile #design #named #user interface
- RAPID: A Free, Portable GUI Design Tool (MCC, PM), pp. 158–164.
- PPoPP-1995-CarlisleR #migration
- Software Caching and Computation Migration in Olden (MCC, AR), pp. 29–38.