Andrew D. Gordon - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged language design

SecPAL: Design and semantics of a decentralized authorization languageMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon. jcs, 18(4):619-665, 2010. [doi]

Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, ProceedingsIEEE, 2008.

Design and Semantics of a Decentralized Authorization LanguageMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon. csfw 2007: 3-15 [doi]

oneChannelGUI: a graphical interface to Bioconductor tools, designed for life scientists who are not familiar with R languageRemo Sanges, Francesca Cordero, Raffaele Calogero. bioinformatics, 23(24):3406-3408, 2007. [doi]

Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, ProceedingsECSI, 2007.

Representing Parallelism in a Control Language Designed for Young ChildrenPeter Whalley. vl 2006: 173-176 [doi]

Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, ProceedingsECSI, 2006.

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same PlacePeter Van Roy. FLOPS 2006: 2-12 [doi]

On the role of metaphor and language in design of third party payments in eBanking: Usability and qualityCatherine S. Weir, James N. Anderson, Mervyn A. Jack. ijmms, 64(8):770-784, 2006. [doi]

A reflective functional language for hardware design and theorem provingJim Grundy, Thomas F. Melham, John W. O Leary. JFP, 16(2):157-196, 2006. [doi]

Integrating design synthesis and assembly of structured objects in a visual design languageOmid Banyasad, Philip T. Cox. tplp, 5(6):601-622, 2005. [doi]

Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, ProceedingsECSI, 2005.

Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005J. Gregory Morrisett, Manuel Fähndrich, editors, ACM, 2005.

Design and Implementation of A::T::: A Real-Time Action Description LanguageLuke Simon, Ajay Mallya, Gopal Gupta. LOPSTR 2006: 44-60 [doi]

Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, ProceedingsECSI, 2004.

Design of Computer Animation of Japanese Sign Language for Hearing-Impaired People in Stomach X-Ray InspectionKazunari Morimoto, Takao Kurokawa, Norifumi Isobe, Junichi Miyashita. icchp 2004: 1114-1120 [doi]

Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, ProceedingsECSI, 2003.

The Design and Evaluation of a Middleware Library for Distribution of Language EntitiesErik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi. asian 2003: 243-259 [doi]

ITU-T system design languages (SDL)Rick Reed. cn, 42(3):283-284, 2003. [doi]

Mechanism design with incomplete languagesAmir Ronen. sigecom 2001: 105-114 [doi]

A novel methodology for the design of application-specificinstruction-set processors (ASIPs) using a machine description languageAndreas Hoffmann, Tim Kogel, Achim Nohl, Gunnar Braun, Oliver Schliebusch, Oliver Wahlen, Andreas Wieferink, Heinrich Meyr. tcad, 20(11):1338-1354, 2001. [doi]

AspectCOOL: An experiment in design and implementation of aspect-oriented languageEnis Avdicausevic, Mitja Lenic, Marjan Mernik, Viljem Zumer. SIGPLAN, 36(12):84-94, 2001.

Superlog, a unified design language for system-on-chipPeter Flake, Simon J. Davidmann. aspdac 2000: 583-586 [doi]

Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract)Gérard Berry. charme 1999: 1 [doi]

System on Chip Specification and Design Languages StandardizationJean Mermet. Ada-Europe 1999: 371-384 [doi]

Valid Time and Transaction Time Proposals: Language Design AspectsHugh Darwen. Dagstuhl 1997: 195-210 [doi]

The Design of a Next-Generation Process LanguageStanley M. Sutton Jr., Leon J. Osterweil. ESEC/FSE 1997: 142-158 [doi]

A New Language Design for Prototyping Numerical ComputationThomas Derby, Robert B. Schnabel, Benjamin G. Zorn. sp, 5(4):279-300, 1996. [doi]

pHluid: The Design of a Parallel Functional Language Implementation on WorkstationsCormac Flanagan, Rishiyur S. Nikhil. ICFP 1996: 169-179

Design and Evaluation of Parallel Applications Using a Structured Parallel LanguageDavide Pasetto, Marco Vanneschi. pdpta 1996: 289-300

The Static Part of the Design Language COLD-KGerard R. Renardel de Lavalette. sosl 1994: 51-82

Natural Language Front-Ends to Databases: Design and the Customisation BottleneckAnne N. De Roeck. eacl 1993: [doi]

Exploratory language designEdward A. Ipser Jr.. SIGPLAN, 27(4):41-50, 1992. [doi]

An Efficient Natural Language Processing System Specially Designed for the Chinese LanguageLin-Shan Lee, Lee-Feng Chien, Long Ji Lin, James Huang, Keh-Jiann Chen. coling, 17(4):347-374, 1991.

The ALPHA language and its use for the design of systolic arraysHervé Le Verge, Christophe Mauras, Patrice Quinton. vlsisp, 3(3):173-182, 1991. [doi]

A Systolic Design for Acceptors of Regular LanguagesAnne Kaldewaij, Gerard Zwaan. SCP, 15(2-3):171-183, 1990.

Definition and Design of Strongly Language Disjoint CheckersIngrid Jansch, Bernard Courtois. TC, 37(6):745-748, 1988.

Objectives and trends in the area of language designVolkert Brosda. gvd 1988: 241-246

A Graphical Hardware Design LanguagePaul J. Drongowski, Jwahar R. Bami, Ranganathan Ramaswamy, Sundar Iyengar, Tsu-Hua Wang. dac 1988: 108-114 [doi]

Distributed Languages Design Constructs for Controlling PreferencesTzilla Elrad, Fred A. Maymir-Ducharme. icpp 1986: 176-183

The Impact of Language and System on Remote Procedure Call DesignGuy T. Almes. icdcs 1986: 414-421

SLAN-4 - A Software Specification and Design LanguageFriedrich W. Beichter, Otthein Herzog, Heiko Petzsch. TSE, 10(2):155-162, 1984.

Hardware Design and Description Languages in IBMLeon I. Maissel, Hillel Ofek. ibmrd, 28(5):557-563, 1984.

An Iterative Design Methodology for User-Friendly Natural Language Office Information ApplicationsJ. F. Kelley. tois, 2(1):26-41, 1984. [doi]

Embedded system design with ADA as the system design languageThomas J. Wheeler. jss, 2(1):11-21, 1981. [doi]

Considerations for the Design of Array Processing LanguagesRonald H. Perrott, D. K. Stevenson. SPE, 11(7):683-688, 1981.

A Personal Computer Designed for Use with a High-Level LanguageNiklaus Wirth. microcomputing 1979: 115-134

Language Design for Reliable Software1977.

The Effect of Language Design on Time-Sharing Operational EfficiencyT. Brown, Melvin Klerer. ijmms, 6(2):233-247, 1975.

The Design and Evaluation of the Array Machine: A High-Level Language ProcessorPierre Sylvain, Maniel Vineberg. isca 1974: 119-125

runs on WebDSL