cdiggins's library 102 articles Export

	A Structural Approach to Operational Semantics [My Copy] No. DAIMI FN-19. (1981) by G. D. Plotkin posted to semantics by cdiggins on 2008-04-24 16:21:51 as along with 2 people and 1 group rgrig oliverh SRG_at_UCD
	Metaphor in diagrams [My Copy] (1998) by A. Blackwell posted to visual by cdiggins on 2008-03-11 02:37:28 as
	When Visual Programs are Harder to Read than Textual Programs [My Copy] In Human-Computer Interaction: Tasks and Organisation, Proceedings ECCE-6 (6th European Conference Cognitive Ergonomics) (1992) by T. R. G. Green, M. Petre posted to visual by cdiggins on 2008-02-25 00:14:41 as
	Cognitive Factors in Programming with Diagrams [My Copy] Artificial Intelligence Review, Vol. 15, No. 1/2. (2001), pp. 95-114. by Alan F. Blackwell, Kirsten N. Whitley, Judith Good, Marian Petre posted to visual by cdiggins on 2008-02-24 23:32:43 as along with 2 people ingo gkontos
	Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework [My Copy] Journal of Visual Languages and Computing, Vol. 7, No. 2. (1996), pp. 131-174. by T. R. G. Green, Marian Petre posted to visual by cdiggins on 2008-02-24 23:31:41 as along with 7 people and 1 group creswick zzkt shilad scis0000001 lfdoherty lgrammel fryanpan GroupLens
	Proving Java Type Soundness [My Copy] In Formal Syntax and Semantics of Java (1999), pp. 83-118. by Don Syme posted to java soundness types by cdiggins on 2008-02-24 07:07:40 as
	Context-Oriented Programming [My Copy] by M. L. Gassanenko posted to cop by cdiggins on 2008-02-13 20:05:43 as
	A Type System For the Push-Enter Model [My Copy] by Kwanghoon C. Cs posted to compilation stack types by cdiggins on 2008-02-11 15:40:02 as
	Making a Fast Curry [My Copy] by Push E. Vs posted to compilers functional partial-evaluation by cdiggins on 2008-02-11 15:36:50 as along with 3 people and 1 group draganigajic sclv SamB functional programming
	Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming [My Copy] In International Conference on Functional Programming (1999), pp. 70-81. by John Hughes, Lars Pareto posted to compilers stack types by cdiggins on 2008-02-11 05:02:10 as
	Compiling Haskell by Program Transformation: A Report from the Trenches [My Copy] In European Symposium on Programming (1996), pp. 18-44. by Simon posted to compilers program transformation by cdiggins on 2008-02-09 23:22:08 as
	Optimizing Direct-threaded Code by Selective Inlining [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 291-300. by Ian Piumarta, Fabio Riccardi posted to bytecode compil compilation compiler virtual-machines by cdiggins on 2008-02-08 00:07:17 as along with 2 people water451 rnsanchez
	Object-Oriented Type Inference [My Copy] SIGPLAN Notices In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Vol. 26, No. 11. (1991) by Jens Palsberg, Michael I. Schwartzbach edited by Norman Meyrowitz posted to inference oo types by cdiggins on 2008-02-05 00:34:39 as along with 2 people and 1 group dherman mcclurmc NU-PRL
	Typing Haskell in Haskell [My Copy] (1999) by M. Jones posted to haskell types by cdiggins on 2008-02-05 00:28:20 as along with 4 people and 1 group SamB draganigajic dtim pedagand functional programming
	Verification of xUML Specifications [My Copy] by In T. Context posted to xuml by cdiggins on 2008-02-01 15:24:38 as
	MDA and Programming Languages [My Copy] (2002) by M. Eichberg posted to mda uml xuml by cdiggins on 2008-01-30 03:43:49 as
	Model transformations and tool integration [My Copy] (2004) by L. Tratt posted to mda uml xuml by cdiggins on 2008-01-30 03:39:24 as
	The MT model transformation language [My Copy] In SAC' 06 (2006) by Laurence Tratt posted to mda uml xuml by cdiggins on 2008-01-30 03:37:05 as
	Transformation: The missing link of MDA [My Copy] (2002) by A. Gerber, M. Lawley, K. Raymond, J. Steel, A. Wood posted to mda uml xuml by cdiggins on 2008-01-30 03:34:50 as
	Anti-Yacc: MOF-to-text [My Copy] (2002) by D. Hearnden, K. Raymond posted to mda xuml by cdiggins on 2008-01-30 03:17:39 as
	Towards a Precise Definition of the OMG/MDA Framework [My Copy] (2001) by Jean Bezivin, Et posted to mda xuml by cdiggins on 2008-01-30 03:16:05 as
	Platform-independent modelling in MDA: supporting abstract platforms [My Copy] by Joao, Remco Dijkman, Marten van Sinderen, Luis F. Pires posted to mda xuml by cdiggins on 2008-01-30 03:15:41 as
	Towards more ecient Software Engineering [My Copy] by With F. Mda posted to mda xuml by cdiggins on 2008-01-30 03:15:23 as
	Model Driven Architecture Approach in Tropos [My Copy] by A. Novikau posted to mda xuml by cdiggins on 2008-01-30 03:14:56 as
	Using UML Action Semantics for Executable Modeling and Beyond [My Copy] In Conference on Advanced Information Systems Engineering (2001), pp. 433-447. by Gerson Sunye, Francois Pennaneac'h, Wai M. Ho, Alain Le Guennec, Jean M. Jquel posted to mda semantics uml xuml by cdiggins on 2008-01-23 15:45:21 as
	On Formalizing the UML Object Constraint Language OCL [My Copy] In Proc. 17th International Conference on Conceptual Modeling (ER), Vol. 1507 (1998), pp. 449-464. by Mark Richters, Martin Gogolla edited by Tok W. Ling, Sudha Ram, Mong L. Lee posted to ocl uml by cdiggins on 2008-01-22 21:04:54 as along with 2 people jgaffuri xiangzhangchina
	The UML as a Formal Modeling Notation [My Copy] In Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics (1997), pp. 75-81. by Robert France, Andy Evans, Kevin Lano edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds posted to uml by cdiggins on 2008-01-22 21:04:07 as
	An ASM Semantics for UML Activity Diagrams [My Copy] by E. Borger, A. Cavarra, E. Riccobene posted to semantics uml by cdiggins on 2008-01-22 21:03:53 as
	Generative Programming and Active Libraries (Extended Abstract) [My Copy] by Krzysztof Czarnecki, Ulrich Eisenecker, Et posted to generative metaprogramming programming by cdiggins on 2008-01-22 16:13:42 as along with 1 person miteshjain
	Improving Bracket Abstraction -- A Cost Free Optimization [My Copy] No. CSIRP-91-3. (November 1991) by David J. Stevens posted to combinators compilation compiler by cdiggins on 2007-12-30 21:06:56 as
	Bracket abstraction in the combinator system Cl(K) [My Copy] by Sabine Broda, Luís Damas posted to combinators compilation compiler by cdiggins on 2007-12-30 21:05:27 as
	A Static Semantics for Haskell [My Copy] (2002) by K. Faxen posted to haskell by cdiggins on 2007-12-06 18:03:13 as along with 2 people and 1 group draganigajic greenrd SRG_at_UCD
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted to monads by cdiggins on 2007-12-06 16:23:08 as along with 22 people and 4 groups jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels hayeah SamB mmarcus americovargas namin pedagand SRL SIG functional programming Lambda the Ultimate
	Monads and Composable Continuations [My Copy] Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56. by Philip Wadler posted to continuations monads by cdiggins on 2007-12-06 16:22:21 as along with 3 people glaubersp benchambers bringert
	SINTL: A Strongly-Typed Generic Intermediate Language for Scheme [My Copy] by Mark Depristo posted to intermediate-language by cdiggins on 2007-12-06 15:48:26 as
	Compiling Standard ML to Java Bytecodes [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 129-140. by Nick Benton, Andrew Kennedy, George Russell posted to bytecode compiler intermediate-language jvml by cdiggins on 2007-12-06 15:47:25 as
	Mate: A tiny virtual machine for sensor networks [My Copy] In International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, USA (Oct 2002) by P. Levis, D. Culler posted to embedded virtual-machines by cdiggins on 2007-12-03 06:11:58 as along with 3 people dvalises goldsmid ramyeltarras
	Minimizing Reference count Updating with Deferred and Anchored Pointers for Functional Data Structures [My Copy] SIGPLAN Notices, Vol. 29, No. 9. (1994), pp. 38-43. by $^♣$henry G. Baker posted to garbage-collection by cdiggins on 2007-12-02 22:25:59 as
	A Modal Analysis of Staged Computation [My Copy] In Conf.\ Record 23rd ACM {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan 1996 (1996), pp. 258-270. by Rowan Davies, Frank Pfenning posted to staged-computation by cdiggins on 2007-11-30 01:40:05 as
	A General Approach for Run-Time Specialization and its Application to C [My Copy] In Symposium on Principles of Programming Languages (1996), pp. 145-156. by Charles Consel, Francois Noel posted to specialization by cdiggins on 2007-11-30 01:39:41 as along with 2 people miteshjain ronnix
	Lightweight Run-Time Code Generation [My Copy] In Proceedings of the 1994 ACM {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation (June 1994), pp. 97-106. by Mark Leone, Peter Lee posted to closures compilation by cdiggins on 2007-11-29 23:10:02 as along with 4 people bdauvergne miteshjain harshrc ronnix
	Typed Closure Conversion [My Copy] In Symposium on Principles of Programming Languages (1996), pp. 271-283. by Yasuhiko Minamide, Gregory J. Morrisett, Robert Harper posted to compiler by cdiggins on 2007-11-28 01:35:55 as along with 1 person d23
	Lambda lifting: transforming programs to recursive equations [My Copy] In Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept. 1985) (1985), pp. ??-??. by Thomas Johnsson posted to rewriting by cdiggins on 2007-11-25 17:20:44 as
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to proofs theory types by cdiggins on 2007-11-22 04:06:45 as along with 17 people and 2 groups jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose dfisher americovargas NU-PRL SRG_at_UCD
	Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391. by Yoshihiko Futamura posted to compiler partial-evaluation by cdiggins on 2007-11-22 03:09:16 as along with 4 people MartinSchuerrer scavadini ronnix bunge
	Type-Directed Partial Evaluation [My Copy] In POPL'96: The 23rd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1996 (1996), pp. 242-257. by O. Danvy posted to evaluation partial types by cdiggins on 2007-11-22 03:06:06 as
	Teaching Functional Programming to First-Year Students [My Copy] Journal of Functional Programming, Vol. 3, No. 1. (1993), pp. 49-65. by Stef Joosten, Klaas van den Berg, Gerrit Van Der Hoeven posted to teaching by cdiggins on 2007-11-10 16:01:11 as along with 1 person education03
	Type-Preserving Compilation of Featherweight Java [My Copy] In Foundations of Object-Oriented Languages (FOOL8) (2001) by Christopher League, Valery Trifonov, Zhong Shao posted to intermediate java by cdiggins on 2007-11-06 20:14:38 as
	Type-indexed rows [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 261-275. by Mark Shields, Erik Meijer posted to row by cdiggins on 2007-11-06 19:43:55 as
	Type Inference for Record Concatenation and Multiple Inheritance [My Copy] In Fourth Annual Symposium on Logic in Computer Science (1989), pp. 92-97. by Mitchell Wand posted to row by cdiggins on 2007-11-06 19:30:35 as

Note: You may cite this page as: http://www.citeulike.org/user/cdiggins

Result page: 1 2 3 Next

xuml	11
mda	10
uml	8
deforestation	7
intermediate	7
types	7
compiler	6
compilation	5
macros	5
parsing	5
stack	4
visual	4
compilers	3
monads	3
optimization	3
semantics	3
bytecode	2
c	2
combinators	2
compression	2
continuations	2
haskell	2
intermediate-language	2
java	2
partial-evaluation	2
row	2
virtual-machines	2
closures	1
compil	1
cop	1
dialect	1
embedded	1
evaluation	1
functional	1
garbage-collection	1
generative	1
inference	1
jvml	1
langauge	1
metaprogramming	1
ocl	1
oo	1
partial	1
program	1
programming	1
proofs	1
rewriting	1
signatures	1
soundness	1
specialization	1
staged-computation	1
teaching	1
theory	1
transformation	1

cdiggins's library 102 articles Export

cdiggins's tags